Fast-finish Travis builds

* See http://blog.travis-ci.com/2013-11-27-fast-finishing-builds/
* Remove unhelpful comment