The first of the Arduino sketches is now available on Github, this one converts PPM signals to USB-HID. It can be used for connecting TX to the ground station that may not directly support USB or which you would not want to use the official USB connection method (like the flight sim cable for FlySky controllers).
Binary hex files for the Teensy loader are available on the github releases page.