script to run the red-black code under a Python coverage tool and
generate pretty output