Update coq html documentation