Add some TravisCI configuration