Add Travis CI build back (for now)