Merge pull request #42 from lucafavatella/ci

Minor Travis CI updates