desktop: use a bit less CPU

libraries/Desktop/support/main.cpp

@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <unistd.h>
 #include <time.h>
 #include <sys/time.h>
 
@@ -11,6 +12,9 @@ int main(void)
 {
 	gettimeofday(&sketch_start_time, NULL);
 	setup();
-	while (true) loop();
+	while (true) {
+		loop();
+		usleep(10);
+	}
 	return 0;
 }