Add the configuration of Travis CI.