Merge branch 'replace_pthread_yield' into 'master'

[Dispatcher] replace deprecated pthread_yield with sched_yield

See merge request i4/manycore/emper!302

emper/Dispatcher.cpp

@@ -2,7 +2,7 @@
 // Copyright © 2020 Florian Schmaus
 #include "Dispatcher.hpp"
 
-#include <pthread.h>	// for pthread_yield
+#include <sched.h>
 
 #include "Emper.hpp"
 #include "Runtime.hpp"	// for Runtime
@@ -17,6 +17,6 @@ void Dispatcher::dispatchLoopDoSleep() {
 	if constexpr (emper::WORKER_SLEEP) {
 		runtime.dispatchLoopSleep();
 	} else {
-		pthread_yield();
+		sched_yield();
 	}
 }