added coqdoc HTML  post processor