📝 run_tests: give coverage.py the name of the tested modules rather than pathes

This is already done in docker_dev_start. It is more compatible with installed modules.