Improve coqdoc documentation a bit, mostly fixing bullets
Merge pull request #312 from JasonGross/improve-documentation

Improve coqdoc documentation a bit, mostly fixing bullets