Update HTML Coqdoc documentation