Issue #15: update to .travis.yml