A USB Random Number Generator based off the Teensy microcontroller platform