Add versions to serialised extensions

[ss2165]

Extensions can be defined anywhere and may be loaded dynamically. Two extensions with the same qualified name should be distinguishable by version. When in conflict, we should prefer the newer version (with conflict warnings).