Make coverage_doctest.py work in Python 3