Added refresh button to REPL, and fixed issue #56