[Python-3000] Implementing % formatting in terms of str.format()

[skip at pobox.com]

Is there a 2-to-3 fixer for % format?  I scanned the fixes directly quickly
but didn't see anything obvious.

Skip