Merged requested to merge er433/repl/stdlib into dev
For LIGO developers
There's a bug, REPL is not loading the
$ ligo repl cameligo Welcome to LIGO's interpreter! Included directives: #use "file_path";; #import "file_path" "module_name";; In : String.concat "foo" "bar";; Out : Module "String" not found.
This MR fixes the bug by adding the compiled stdlib to the environment for the REPL.