Revert #128 and reapply the original fix from #126

[kit-ty-kate]

Frama-C failed with my fix so I'm reapplying @martinslota's original fix from #126 (sorry for that)

#=== ERROR while compiling frama-c.21.1 =======================================#
# context              2.0.7 | linux/x86_64 | ocaml-base-compiler.4.11.1 | file:///home/opam/opam-repository
# path                 ~/.opam/4.11/.opam-switch/build/frama-c.21.1
# command              /usr/bin/make -j72
# exit-code            2
# env-file             ~/.opam/log/frama-c-25-632471.env
# output-file          ~/.opam/log/frama-c-25-632471.out
### output ###
# File "src/plugins/markdown-report/sarif.ml", line 335, characters 30-43:
# 335 |     stack: (Stack.t [@default Stack.default]);
#                                     ^^^^^^^^^^^^^
# Error: Unbound value Stack.default

After that I suppose this is fine to re-release 3.6.0.

Side-note: I added a few TODO comments as currently [@default ...] is broken when passed a value from a module also defined in Ppx_deriving_runtime (currently List, String, Bytes, Int32, Int64, NativeInt, Array, Result as well as several short functions and types).
At best this is going to fail to compile, at worst the values/functions used are not going to have the same behaviour as expected and might enable nasty bugs.
I do not have enough knowledge of the codebase and on how to do that properly but since it was like this before I suppose this is fine to let as is for now.