Travis CI: create local.properties