Travisimprovements1

Suggested minor improvements to the travis config; also just testing I understand the github workflow...
I'm happy to go ahead with your suggestion.