Add instructions for compilation of coqdoc