Added some support for OPTIONS as defined by HTTP/1.1 and RFC 2518. Rev: server/protocols/http.pike:1.401