removing obsolete scripts, fixing few

web/curl-header

@@ -1,4 +1,9 @@
-#!/bin/sh
+#!/bin/bash
+
+if [[ "$1" = "-h" ]]; then
+  echo Prints the header for a URL
+  exit
+fi
 
 # head trick to prevent unable to write -error. 
 curl -s -D /dev/stderr "$1" | head -c 1 | head -c 0