Add a bare-bones Travis CI configuration