Remove unused travis-ci pro stuff