- Move the worker function to a dedicated file
- Bump the coverage.py version to the latest one
- Remove the monkey-patching for the previous version
  of coverage.py, since it doesn't work with the new
  one