Add String::format, update makexml.py