Support to load scripts from file
Merge branch 'master' of https://github.com/Frege/frege-repl
Merge branch 'master' of https://github.com/Frege/frege-repl