merge changes from 4.00 branching to 4.00.0 (part 1)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix PR#5702: remove never used value Bytelibrarian.lib_sharedobjs

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12786 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge changes from 4.00 branching to 4.00.0 (part 2: testsuite)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge commit '0c3a7de5079529bc99cbc9e68806f1a7021d94ef' into ocaml-open

Conflicts:
	ocamldoc/odoc_cross.ml
	ocamldoc/odoc_html.ml
	ocamldoc/odoc_latex.ml
	ocamldoc/odoc_messages.ml
	ocamldoc/odoc_scan.ml
	ocamldoc/odoc_search.ml
	ocamldoc/odoc_search.mli
	ocamldoc/odoc_sig.ml
Merge commit '9f2955dbeacab2a34ecd5230d3a20e09c8d7feaf' into ocaml-open
Merge commit '3bb278c944e2d90f6c99443bdc06a95f2e15697d' into ocaml-open
Fix bugs uncovered in merge