Links on Test coverage report don't work inside a Dev Container

[adam-fowler]

[award999]

@plemarquand look at this while moving coverage

[plemarquand]

Now that #807 is merged the coverage reports are provided by VSCode APIs, and work in dev containers.