Implemented support for changing default values in the web GUI by command-line args or a file *at run-time* of an application. Seems to work, but only tested for flask (django files are changed too).