This patch adds a job to the docker workflow to run coverage tests, and upload the results to coveralls.