Fix copy of documents with all-digit short names

Core queries made with XPath and involving nodes whose short name is all-digits fail.
This is because all-digit names are parsed as integer (not strings) in XPath. Such names must be escaped using ISO9075.

This happens at least when doing copies of documents with all-digit names, as now the copy does a fixup to unshare version history.