This patch causes us to upload a coverage report to coveralls.io.