A small REPL shell for Python servers