Added $request-time to the proposed alternative lines for the access log. Rev: server/base_server/configuration.pike:1.651