Allow to show/hide proofs in documentation
Add alignment support for coqdoc html file generation