Support builtin fail in nockma/anoma backends via Nockma evaluator

[paulcadman]

It's convenient to use builtin fail in Anoma/Nockma programs for debugging purposes.

The signature of builtin fail is {A : Type} → String → A; and String is not supported in the Anoma/Nockma backend.

We can support builtin fail by compiling it to a cell which crashes in the Anoma / Nockma backend and using the CellInfo annotation mechanism that we're already using to intercept stdlib calls in the Juvix/Nockma evaluator to store the String message. These messages would then be printed if the crash was encountered during evaluation in the Juvix/Nockma evaluator.

[paulcadman]

Is this done?