docker support

hc

2023-02-18 84d1d1bed0120e0921c876885ca9006fb9ddf42e

arm-linux-gnueabihf-gcov-tool does not exist in tree 733c33ecce4c871180e529a55525224454f5028e