Updated with latest versions from FSF.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Use 32x32->64 multiplication as provided by the C compiler when possible.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Port to the ARM 64-bits (AArch64) architecture (experimental).
Merge of branch branches/arm64.


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