Updating Travis CI manifest