Deprecate shorthand <<…>> syntax for inter-document references

As discussed in this Zulip topic, Dan would like to deprecate the use of the shorthand double-angle-bracket syntax for links that go outside of the current document. It should visually indicate that the link is internal to the document, and links to other documents should use the xref macro.