Converts old string formatting code to new .format() style.

Converts statements of the form

    '%s' % foo

to statements of the form

    '{0}'.format(foo)

This completes removal of code necessary for Python 2.5 support; we no longer
support Python 2.5. This fixes issue #233.