(#7656) Use a Puppet setting for default module repo

Before this patch, the Puppet::Module::Tool::Repository class did not
provide the ability for end-users to change the default module
repository URL.

This patch fixes this issue by using the Puppet[:module_repository]
setting as the default module repository URL. This change allows
end-users to change the default module repository via configuration.