Add Travis CI (and fix failures)