Tweaked Travis CI configuration.