beginning of figurehead.ui: the App interface to figurehead; now can REPL on port 9999 into it