Show module priority setting for userdb modules. [bug 3129 (#3129)] Rev: server/base_server/configuration.pike:1.518