Add script for stopping a running nfsproxy

diff --git a/microbench/setup/stop-proxy b/microbench/setup/stop-proxy
new file mode 100755 (executable)
index 0000000..4d506f8
--- /dev/null
+++ b/microbench/setup/stop-proxy
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+pkill -INT nfsproxy