Update schema & tests, combine scripts#3

NatKarmios wants to merge 4 commits into

hackwaly:masterhackwaly/ocaml-dap:masterfrom

GillianPlatform:updateGillianPlatform/ocaml-dap:updateCopy head branch name to clipboard