become-hcoop: add to git

Been around for a while but was never committed.

diff --git a/become-hcoop b/become-hcoop
new file mode 100755 (executable)
index 0000000..194f120
--- /dev/null
+++ b/become-hcoop
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+sudo -H -u hcoop k5start -U -t -f /etc/keytabs/service/hcoop $SHELL