Initial support for Teensy 3.1

Basic REPL works.

The following pyb module commands have been coded:

pyb.info()
pyb.gc()
pyb.delay(msec)
pyb.led(onOff)
pyb.Led(n)
pyb.gpio(pin)
pyb.gpio(pin, val)