console.py: handle escape sequences
not working right, but commit anyway so we have a record of this experiment
see comments in console.py getchar for explanation of problem