cleanup of Travis CI config file