Fix the ESP8266_RTOS example, add it to CI

PUBLISHED_FROM=3d58ec06fe3108a81d1c35f8261783690bb12c4d

examples/ESP8266_RTOS/user/Makefile

@@ -23,7 +23,7 @@ endif
 #   makefile at its root level - these are then overridden
 #   for a subtree within the makefile rooted therein
 #
-DEFINES += -DMG_LOCALS \
+DEFINES += -DCS_PLATFORM=3 \
            -DMG_NO_BSD_SOCKETS \
            -DMG_DISABLE_FILESYSTEM \
            -DMG_DISABLE_STDIO \

examples/ESP8266_RTOS/user/esp_libc.c

@@ -53,7 +53,3 @@ int _gettimeofday_r(struct _reent *r, struct timeval *tp, void *tzp) {
   tp->tv_usec = time % 1000000;
   return 0;
 }
-
-long int random(void) {
-  return os_random();
-}

examples/ESP8266_RTOS/user/user_main.c

@@ -101,13 +101,6 @@ xTaskHandle s_mg_task_handle;
 void user_init(void) {
   uart_div_modify(0, UART_CLK_FREQ / 115200);
 
-//  setvbuf(stdout, NULL, _IONBF, 0);
-//  setvbuf(stderr, NULL, _IONBF, 0);
-
   xTaskCreate(mg_task, (const signed char *) "mongoose", MG_TASK_STACK_SIZE,
               NULL, MG_TASK_PRIORITY, &s_mg_task_handle);
 }
-
-void call_user_start(void) {
-  user_init();
-}