REPL with codemirror v4

in response to #183: yes it can :smile: