Change the settings and INSTALL procedure to put sources in a dedicated folder

This is to simplify future deployment (documentation should be coming soon).