For your own board design, I would highly recommend considering which diodes are best for your particular application, or if you even need the diodes at all? If you're not using a battery to maintain the RTC, there's no point in using the diodes for VBAT. You can connect VBAT directly to VCC. Likewise, you only need the diode in series with the regulator input if you want to protect against someone accidentally applying power in reverse polarity.
But if you want to use exactly the same diode as Teensy3, the part we put on the part is PMEG4010CPA.