Add configuration of Travis CI