Smarter mktags and rmpyc.
Update to Python 2.7.5.