Printf-style format-strings for user-defined string conversion

Part of the Jane Street's PPX rewriters collection.
