Major cleanup of handling of folder names, filenames and paths. Rewrote
wgetdownloader to use externaltoollauncher. Added method runAndKill to
externaltoollauncher