Slim down the Travis config