GreaseMonkey script to randomly insert a character after several keystrokes