push USE_SIM_LAUNCHER_SERVER setting to .travis.yml