The WIFI-Library is contained in the WinoBOARD-Addin for the Arduino IDE. To access the library please get sure you have selected the WinoBOARD [USB] board in the Tools->Board menu.
To use the library simply select Sketch -> Include Library -> WinoBOARD Library from the menu.
Or add this line on top of your code:
#include "wino.h"