Backported SNMP and module counter stuff from Roxen 5.0. Rev: server/base_server/configuration.pike:1.633