Handle HTTP HEAD requests

HEAD requests are supposed to be identical to GET requests except they
do not return the response body. However, the receiver can always ignore
the response body, so we implement HEAD as an alias for GET.