add helper script to apply github pull requests to the hg.python.org repo (https://github.com/jythontools/jython/pull/5)