Update Travis CI configuration file