Better backspace

Before this PR, backspace means undo so typing backspace with "à" gives "a". Now a backspace is a backspace.