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.

fun frob x = x

fun foo [a] (x : a) = frob x