feat: mm0-hs -> update to latest stack (but server command is disabled) WIP

[srghma]

some outputs

$ for i in ../examples/*.mm[01]; do ./.stack-work/dist/x86_64-linux-nix/ghc-9.10.3/build/mm0-hs/mm0-hs compile "$i" &> /dev/null && echo "    $i" || echo "ERR $i"; done
ERR ../examples/assembler-new.mm1
ERR ../examples/assembler-old.mm1
    ../examples/big_unifier.mm1
    ../examples/compiler.mm0
ERR ../examples/compiler.mm1
ERR ../examples/compiler-new.mm1
ERR ../examples/compiler-old.mm1
ERR ../examples/demo.mm1
    ../examples/do-block.mm1
    ../examples/goldbach.mm0
    ../examples/hello_assembler.mm0
ERR ../examples/hello_assembler.mm1
    ../examples/hello.mm0
    ../examples/hello_mmc.mm0
ERR ../examples/hello_mmc.mm1
    ../examples/hol.mm0
ERR ../examples/hol.mm1
ERR ../examples/lean.mm1
    ../examples/miu.mm0
    ../examples/mm0.mm0
ERR ../examples/mm0.mm1
    ../examples/peano_hex.mm0
ERR ../examples/peano_hex.mm1
    ../examples/peano.mm0
ERR ../examples/peano.mm1
ERR ../examples/separation_logic.mm1
    ../examples/set.mm0
    ../examples/set.mm1
    ../examples/string.mm0
ERR ../examples/test3.mm1
    ../examples/unprovable.mm0
ERR ../examples/verifier.mm0
ERR ../examples/verifier.mm1
ERR ../examples/x86_determ.mm1
    ../examples/x86.mm0
ERR ../examples/x86.mm1