Add a configuration of Travis CI