Add jenkins test script

Change-Id: If36b19ccb7dca233045065162043c07b35374333
diff --git a/tools/ci/run-tests.sh b/tools/ci/run-tests.sh
new file mode 100755
index 0000000..4de8e30
--- /dev/null
+++ b/tools/ci/run-tests.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -e
+
+bazel --batch test -c opt --curses=no --color=no --jobs=1 //... -- $(cat NO_BUILD_AMD64)
+bazel --batch build -c opt --curses=no --color=no --jobs=1 //... --cpu=roborio -- $(cat NO_BUILD_ROBORIO)