Transition debugger to SEDAP

[NatKarmios]

It's SEDAP time!

Main changes include:

• Use ocaml-sedap instead of ocaml-dap
• Reconfigure debugger to send SEDAP information; in particular:
  • Only send changed nodes on update, instead of sending everything every update
  • Match maps are sent alongside exec maps in the same format
• Remove debug-ui; the Gillian debugger extension now lives in the SEDAP-JS repo

Due to the debug extension now being out of scope of the repo, this PR resolves #110, #173, #177, #181, #194, #233, #269, #281, #286

[N1ark]

looks good to me :) there's some repetition between the lifters for C2 and WISL but I imagine we can't do much about that bc of different types?

[NatKarmios]

looks good to me :) there's some repetition between the lifters for C2 and WISL but I imagine we can't do much about that bc of different types?

Yes, the lifters are extremely similar, but factoring things out there felt like over-optimising. This might change if/when we have a JS lifter since that might be similar too.

[N1ark]

so cool!