add copyright script
fix Andrei S's comments
Merge pull request #441 from dwightguth/copyright

add copyright script
fix tiny bug in copyright script
Merge branch 'copyright'
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
make error message better for case when user specifies too many files for kompile
Merge pull request #446 from dwightguth/kompile-options

make error message better for case when user specifies too many files fo...
refactor krun options to use JCommander