Add coverage tool to docker build environment

#3111