Add header file renaming to pull script

Change-Id: I789442bd6cee99d551734df4d7e47dab186b9921
diff --git a/pull-from-vixl.sh b/pull-from-vixl.sh
index f0cb0de..4db0d64 100755
--- a/pull-from-vixl.sh
+++ b/pull-from-vixl.sh
@@ -87,3 +87,6 @@
 
 # Delete repository.
 rm -rf vixl
+
+# Rename trace files to match V8's expectation.
+ls -1 *.h | grep -oP "sim\-.+\-trace\-" | xargs -i mv {}aarch64.h {}arm64.h