Travisimprovements1

Suggested minor improvements to the travis config; also just testing I understand the github workflow...
Let's revert this