applying OCamlXSIM 3.1.7 patch from http://psellos.com/pub/ocamlxsim/…

…ocamlxsim-3.1.7.diff onto OCaml 4.00.1

applying OCamlXARM 3.1.8 patch from http://psellos.com/pub/ocamlxarm/…

…ocamlxarm-3.1.8.diff

tagging release 4.00.1

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.1@12983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Tagging release 4.00.0 (at last!)

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0@12779 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging 4.00.0+rc1 (at last)

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+rc1@12743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging 4.00.0+beta2

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+beta2@12567 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

tagging 4.00.0+beta1

git-svn-id: http://caml.inria.fr/svn/ocaml/release/4.00.0+beta1@12539 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02