Merge pull request #1454 from ucb-bar/fix-hello-tests

Use pk/encoding.h for hello/mt-hello

tests/encoding.h

@@ -1 +0,0 @@
-../toolchains/riscv-tools/riscv-tests/env/encoding.h

tests/hello.c

@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include "marchid.h"
 
 int main(void) {

tests/mt-hello.c

@@ -1,4 +1,4 @@
-#include "encoding.h"
+#include <riscv-pk/encoding.h>
 #include <stdio.h>
 #include "marchid.h"