Added a counter to detect when the set of modules changes. Rev: server/base_server/configuration.pike:1.698