Resource Pack Workbench, tool for editing and managing Minecraft resource packs