Updated travis-ci configuration.