Destroy protcache cachekeys when entries expire to reduce garbage. Rev: server/base_server/configuration.pike:1.713