Add external protocol ID to jg-protocol-ids.xml

If some external project needs a protocol ID, allow to add an external protocol to jg-protocol-ids.xml.
Possibly do the same for magic numbers (jg-magic-map.xml).
This needs to be marked specially, so we don't try to load that protocol / class.