noweb -> coqdoc

moved everything to coqdoc