added some Trace.h includes

Src/dw1000_isr.c

 #include "dw1000_hal.h"
 #include "deca_regs.h"
 #include "dw1000_util.h"
+#include "Trace.h"
 
 BaseType_t dw1000Hal_handleTx(uint64_t * event, uint64_t * event_clear) {
 	// Ignore unused parameters, may be needed for later purposes

Src/dw1000_util.c

@@ -2,6 +2,7 @@
 #include "dw1000_hal.h"
 #include "dw1000_util.h"
 #include <stdio.h>
+#include "Trace.h"
 
 extern volatile uint32_t global_time;