apply patch to timer.c from open PR to git.efi.th-nuernberg.de/gitea/freudenreichan/info2Praktikum-DobleSpiel which fixes timers on linux

I2_Dobble/bintreeTest.c

@@ -108,8 +108,6 @@ int main(void)
 {
     UNITY_BEGIN();
 
-    printf("\n============================\n Bintree tests\n============================\n");
-
     RUN_TEST(test_addToTree_single_element);
     RUN_TEST(test_addToTree_multiple_elements_and_size);
     RUN_TEST(test_addToTree_duplicate_detection);

I2_Dobble/numbersTest.c

@@ -61,8 +61,6 @@ int main(void)
 {
     UNITY_BEGIN();
 
-    printf("\n============================\n Numbers tests\n============================\n");
-
     RUN_TEST(test_createNumbers_no_null);
     RUN_TEST(test_createNumbers_has_exactly_one_duplicate);
     RUN_TEST(test_createNumbers_has_correct_value_range);

I2_Dobble/timer.c

@@ -1,6 +1,12 @@
 #include "timer.h"
 
-#if __APPLE__
+#ifdef __linux__
+// Defines strict posix compliance for CLOCK_MONOTONIC
+#define _POSIX_C_SOURCE 199309L
+#include <time.h>
+#endif
+
+#if __APPLE__ || __linux__
 #include <sys/time.h>
 static struct timespec start = {0, 0};
 
@@ -21,7 +27,8 @@ double stopTimer()
 
     double measuredSeconds = (double)delta_us / 1000000.;
 
-    if(start.tv_nsec > 0) {
+    if (start.tv_nsec > 0)
+    {
         start.tv_nsec = 0;
         start.tv_sec = 0;
     }