Updated lock_file() API. Added check_locks() and unlock_file(). Rev: server/base_server/configuration.pike:1.563