Teensyduino 1.20 release

The teensyduino 1.20 RC2 branch was created for development, but it seems to be stable enough to be called "master" now.