Update travis-ci configuration file

See http://about.travis-ci.org/docs/user/build-configuration/