`launcher_tool.resource_editor` looses attached zip

The resource editor uses Windows API calls to edit the resources on the exe file. This API rewrites the file but does not copy the data attached to the exe.

Implementing the resource editor in Python could fix this, as well as make it more portable so that this could also be run under other operating systems.