wesnoth_addon_manager: Make the portmap tuple more easily diffable