fixup! Add Travis CI to give quicker feedback on pull requests.