Testing, issue #1217: Add coverage testing into docker-ci