ess_options.py is updated and synchronised with the esys/env module. In turn, this module is used to build and setup the user environments of esys/current and esys/current-debug.