Docs/headlines

I used some headlines via coqdoc, so that the html-output is more readable and structured.

Note, that I didn't change Induction.v, since I want to restructure this whole chapter.