Cosmetic adjustments
Set up Travis to deploy the documentation