Documented an API to tell internal and external requests apart. Added cookie and user-agent headers to the file cache in try_get_file(). Rev: server/base_server/configuration.pike:1.270