tidy up travis config