Add internal core-eval option to evaluate named function identifier

[paulcadman]

By default the main function identifier is evaluated by juvix dev internal core-eval. When debugging it's often useful to evaluate some other function in a module.

module Symbol;

open import Stdlib.Prelude;

f : Nat;
f := 1;

main : IO;
main := printNatLn f;

end;

With core-eval you can now evaluate f:

For example:

$ juvix dev internal core-eval Symbol.juvix -s f
suc zero

[paulcadman]

CI is failing due to an issue with ghcup on GitHub actions: actions/runner-images#7061