Add WiFi library for TivaC