remove propability; autoupdater URLs use v6 or dns

- removed propability, it is not used any more by gluon 2014.3
- removed ipv4 mirror addresses (ipv4 address is not reachable from node)
- added new mirror URL (resolve via DNS)
- ipv6 addresses stay configured, in case there is a problem with domain name resolve