GUI improvements, embed St2 REPL