You can't use WinAVR. That's only for the older Teensy 2.0 boards.

First, install Arduino and Teensyduino, even if you never intend to ever use Arduino.

Then after install, look in...