console.py add in-line cmdline editing similar to readline
currently supported: start ^A, back ^B, del ^D, end ^E, back ^F, insert anywhere
also revise piety/README.md to explain console focus
tweak several files under test/console/ and bin/ to handle focus etc.