Merge pull request #12230 from qixils/dolphintool-header-json Tool/Header: Add JSON output mode; game data