Ignore key repeats

[jbmorley]

We probably shouldn't send locally generated key repeat events, but instead rely on the remote device to generate its own. This is almost certainly going to give a more native experience on the remote device.