Improve and document undo behaviour for token input

[David Aspinall]

Ordinary undo with token input does not behave as the user might expect (certainly not as X-Symbol once did): it removes the last character of input in the expanded token sequence. We might be able to improve this by adding a remapping for the undo function.

We should also document useful ways of editing with the token input (Quail mode) enabled).