Brought back Travis CI config.