Make window resizable (and add pseudo-REPL).  Fixes #18.