Added support for Teensy 3.1 (mk20dx256).

Unless I'm missing something, this is all I needed to do to add mk20dx256 support.

Thanks,
Andreas