Add coqdoc.png