Travisimprovements1

Suggested minor improvements to the travis config; also just testing I understand the github workflow...
Also, before going ahead with my comment, could you link me up with some docs to the issue? I wasn't aware this was supported by default on Linux.