Reimplemented \Verb. It now works as expected inside other commands (with a
few limitations), including in movable arguments, and is compatible with
hyperref for things like PDF bookmarks. It now supports breaklines and
relevant line-breaking options.
Reimplemented \SaveVerb and \UseVerb to be equivalent to the new \Verb. The
new option retokenize allows saved verbatim material to be retokenized under
new commandchars and codes when it is inserted with \UseVerb.
New command \EscVerb works like the reimplemented \Verb, except that special
characters can be escaped with a backslash.
New command \fvinlineset only applies options to commands related to
typesetting verbatim inline, like \Verb, \SaveVerb, \UseVerb.
755ced83d0