Add binary compiler for 4.01.0 by OCamlPro

A binary distribution of OCaml 4.01.0, for now only for Linux 32 and 64 bits, compiled by OCamlPro. The first installation will download the binary archive (~65 MB), but subsequent ones will use the cache and be much faster than downloading and compiling the sources.