added Matt Stone's jumpCoverage.py, adapted from mine from 2011