Removed environment variable for the stdlib_path and added a new variable for the configuration file.
Refactored the code of arm/PrintAsm.ml in order to allow the parametrization of the printing code over the configuration-dependent bits.