Set up Travis to deploy the documentation