Add the Travis CI configuration file