Remove global.ini

we don't - at the moment - need global.ini and config.ini, when global.ini is not used at all