Remove check-host script

Now that Scripts Pony exists, checking host existence by hand isn't really a
thing any more.

diff --git a/check-host b/check-host
deleted file mode 100755 (executable)
index 51a137c..0000000
--- a/check-host
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/bash
-# Alex Dehnert
-
-for hostname in "$@"; do
-    echo
-    echo Now checking $hostname
-    echo Stella:
-    stella $hostname.mit.edu
-    echo Aliases
-    athrun ops qy ghal $hostname.mit.edu \*
-done
-
-echo
-echo For your copy/pasting convenience
-echo Please be careful that this makes sense with the output above
-echo
-echo At your convenience, please make $@.mit.edu an alias of scripts-vhosts.mit.edu.
-echo
-for hostname in "$@"; do
-    echo stella scripts-vhosts -a $hostname
-done