tutorials: root_of_trust: fix includes of libtock/tock.h to be system includes

Author: pqcfox

examples/tutorials/root_of_trust/encryption_service_milestone_one/main.c

@@ -4,13 +4,13 @@
 // plaintexts over UART and encrypts them, logging status over IPC back to the screen
 // application.
 
-#include "libtock/tock.h"
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include <libtock-sync/interface/console.h>
 #include <libtock/kernel/ipc.h>
+#include <libtock/tock.h>
 
 #define LOG_WIDTH      32
 

examples/tutorials/root_of_trust/encryption_service_milestone_three/main.c

@@ -4,13 +4,13 @@
 // plaintexts over UART and encrypts them, logging status over IPC back to the screen
 // application.
 
-#include "libtock/tock.h"
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include <libtock-sync/interface/console.h>
 #include <libtock/kernel/ipc.h>
+#include <libtock/tock.h>
 
 #include "oracle.h"
 

examples/tutorials/root_of_trust/encryption_service_milestone_two/main.c

@@ -4,13 +4,13 @@
 // plaintexts over UART and encrypts them, logging status over IPC back to the screen
 // application.
 
-#include "libtock/tock.h"
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include <libtock-sync/interface/console.h>
 #include <libtock/kernel/ipc.h>
+#include <libtock/tock.h>
 
 #define LOG_WIDTH      32
 

examples/tutorials/root_of_trust/suspicious_service_milestone_one/main.c

@@ -3,12 +3,12 @@
 // When selected by the main screen HWRoT Demo application, attempts to dump its
 // own SRAM, followed by the SRAM of the encryption service application.
 
-#include "libtock/tock.h"
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include <libtock/kernel/ipc.h>
+#include <libtock/tock.h>
 
 #define ENCRYPTION_SRAM_START  0x2000A000
 #define ENCRYPTION_SRAM_END    0x2000BFFF