Stick an aborted definition in a comment

Coq trunk's coqc -time doesn't like it
(https://coq.inria.fr/bugs/show_bug.cgi?id=3332)

Also coqdoc-ify comments
Merge pull request #395 from JasonGross/no-abort

Stick an aborted definition in a comment