Tweaked Travis file according to documentation.