Issue #368: dev installation, generate config.ini file automatically

I imagined, let's stick to the current code then.