A: config of Travis CI