Serialize Nockma output using nock jam

[paulcadman]

The Anoma API accepts jammed nock terms as input. The benefit to this is that jammed terms are greatly compressed compared to the original term.

• Closes Jam (Nock serialize) the anoma backend output #3017

Remaining tasks:

• Deserialize input nockma file in juvix dev nockma {run, eval}
• Support debug input nockma file in juvix dev nockma {run, eval, repl} i.e there should be a way to pass the *.debug.nockma (output of juvix compile anoma --debug) file to juvix dev nockma {run, eval, repl}
• Add proper JuvixErrors for deserialisation failures