Call thread_sleep_for to sleep

This function is more generic as it decides the
appropriate call to make depending on whether
an RTOS is present or not.

Author: hugueskamba

Diff for: main.cpp

@@ -4,7 +4,7 @@
  */
 
 #include "mbed.h"
-#include "ThisThread.h"
+#include "platform/mbed_thread.h"
 #include "stats_report.h"
 
 DigitalOut led1(LED1);
@@ -21,7 +21,7 @@ int main()
     while (true) {
         // Blink LED and wait 0.5 seconds
         led1 = !led1;
-        ThisThread::sleep_for(SLEEP_TIME);
+        thread_sleep_for(SLEEP_TIME);
 
         if ((0 == count) || (PRINT_AFTER_N_LOOPS == count)) {
             // Following the main thread wait, report on the current system status