Travis: Initiating build for commit '63bed72cd0dfc54e27d4413659ec9c18e767cb39' on branch 'ini-config': DI config: renamed the `old_config` prefix to `ini`

Initially we considered dropping the `ini` config, but the current stance is we keep `config.ini.php` because it's a user friendly config.