New DNS based discovery server for Pulse/Syncthing