Use "python -m coverage" to avoid calling the script whose name varies

Thanks to this we don't need to provide the name of the executable(s)
in the environment.