Monkeyscript script to randomly insert a character after several keystrokes