Improve coqdoc documentation a bit, mostly fixing bullets