coverage2el.py: update to current coverage-3.7.1 API