Use the same header for both Teensy 3.0 & 3.1

Even though the part number changed, they both use "mk20dx128.h".