add configuration for the Travis CI