Fix build warning (#740)

Author: igrr

hardware/esp8266com/esp8266/cores/esp8266/libc_replacements.c

@@ -30,6 +30,7 @@
 #include <limits.h>
 #include <errno.h>
 #include <string.h>
+#include <time.h>
 
 #include "ets_sys.h"
 #include "os_type.h"