Remove unused imports.
Limit message IDs to hex in mappings.

We have to limit the style to either hex or decimal because when we merge the
direcitonaries created by the user defined mapping and JSON generated from XML,
the keys have to match. I'd rather not hack up the dict merge function to
finesse the keys.
Add a script to help convert old-style message IDs to hex in JSON files.