Custom, dark-themed GUI
GUI imporvements, embed St2 REPL