428

improved docker image lookup to shut down correct server

427

filter to stop only this repo

426

pass docker command on restarting

425

clean up

424

connect to remote repl only when hostname and port is set (fixes #110)

423

added stuling for embeded console

422

Added support for web console in local repl (fixes #110)

421

Support clear screen in web console. Fix clearing screen starts new s…

420

Fail on warnings when building. Starting to use keywords to extract f…

419

Support closing repl with Ctrl+D (closes #67)