Introduce recv timeout controlled by '-T' option in http.c This should prevent a DDoS attack where attacker and keeps the connection open but send no data.

datatype list t = Nil | Cons of t * list t

val length : t ::: Type -> list t -> int

val rev : t ::: Type -> list t -> list t