add the Travis CI configuration file