Added option for RoxenUserID cookies. Rev: server/base_server/roxen.pike:1.80 Rev: server/protocols/http.pike:1.31