Merge pull request #60 from bridadan/update_platform_database

Add TT_M4G9, EFM32GG11_STK3701, and EFM32TG11_STK3301 platforms

Author: theotherjimmy

src/mbed_os_tools/detect/platform_database.py

@@ -236,6 +236,8 @@
         u"2035": u"EFM32PG_STK3401",
         u"2040": u"EFM32PG12_STK3402",
         u"2041": u"TB_SENSE_12",
+        u"2042": u"EFM32GG11_STK3701",
+        u"2043": u"EFM32TG11_STK3301",
         u"2045": u"TB_SENSE_1",
         u"2100": u"XBED_LPC1768",
         u"2201": u"WIZWIKI_W7500",
@@ -285,6 +287,7 @@
         u"8003": u"UNO_81AM",
         u"8004": u"UNO_81A",
         u"8012": u"TT_M3HQ",
+        u"8013": u"TT_M4G9",
         u"8080": u"FF1705_L151CC",
         u"8081": u"FF_LPC546XX",
         u"9001": u"LPC1347",