Documentation fixes, added is_configuration and event_log Rev: server/base_server/configuration.pike:1.222