Mention the coveralls service in the developer documentation.