Travisimprovements1

Suggested minor improvements to the travis config; also just testing I understand the github workflow...
Not sure why this change was required? If it's a readability thing I'd prefer to revert it back to how it was.