tweak travis
Merge branch 'travis' of https://github.com/fabian-s/RLRsim into travis