Merge pull request #12636 from KjubDusJub/dolphin-tool-extractcommand DolphinTool: Add an image extract command
