speed up execution of ping tool using parallelism,
plus: some internal simplifications for the ping tool,
some addition to the settings-tool