Configuration for Coveralls, including getting Travis to publish stats and the badge in the readme