Initial version of the number conversion plugin.

This plugin adds an item to the editor right click menu that offers
to convert the selected number (if any) into various other formats, such
as decimal to hexadecimal.