Added two options to the configure file, that are now used in config.js.
Updated INSTALL.md accordingly.