[#799] Travis remove sed crap

Instead of hacking on development.ini, we simply use the defaults in test-core.ini.