Add rename script

tools/rename_sym.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+
+shopt -s globstar
+
+if [ "$#" -ne "2" ];
+then
+    echo "usage: $0 old_name new_name"
+    exit 1
+fi
+
+#echo "Replace $1 with $2?"
+#read
+grep -rl "$1" asm/**/*.asm src/**/*.{c,h} include/**/*.h tables/*.py undef.txt | xargs sed -i "s/\b$1\b/$2/g"