ensure that the IOServer thread terminates
Merge pull request #440 from dwightguth/ioserver

ensure that the IOServer thread terminates
change kompile to use unique temp files
Merge pull request #444 from dwightguth/dotk

change kompile to use unique temp files
Merge branch 'master' into unified-builtins2