Ensure \verbatiminput always uses a unique filename for each input file in the "Download as text" link.  Previously, it could map multiple source files to a single name since all files end up with the same extension. This closes SF bug #558279.
Ensure \verbatiminput always uses a unique filename for each input file in
the "Download as text" link.  Previously, it could map multiple source files
to a single name since all files end up with the same extension.
This closes SF bug #558279.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator