Add a minimal Travis CI configuration