A Teensy based PS2 to USB encoding scheme that doesn't suck