Switch to CC3200 SDK 1.2.0

PUBLISHED_FROM=857459178e3af50fa6626379d1f71a725cd3b68b

examples/CC3200/main.c

@@ -25,6 +25,7 @@
 #include "gpio_if.h"
 #include "i2c_if.h"
 
+#include "mongoose.h"
 #include "simplelink.h"
 #include "device.h"
 
@@ -226,3 +227,8 @@ void SimpleLinkHttpServerCallback(SlHttpServerEvent_t *e,
 
 void SimpleLinkSockEventHandler(SlSockEvent_t *e) {
 }
+
+void SimpleLinkGeneralEventHandler(SlDeviceEvent_t *e) {
+  LOG(LL_INFO, ("status %d sender %d", e->EventData.deviceEvent.status,
+                e->EventData.deviceEvent.sender));
+}