Cbn in refman
Update RefMan with respect to new loadpath management
Improve RefMan section about Coq_makefile
sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.tex