Configuration for www.travis-ci.org