configserver_url is now configurable on its own, without modifying the FQDN

Changing the FQDN is a system-wide change, so this PR adds a new attribute `mongodb.configserver_url`, allowing you to set a configserver's public address without changing the FQDN; by default it falls back to `node.fqdn`.