first steps towards a generic transformation pipeline for krun
fix regression in textual output of search results
fix bug with repeated search results - use SortedSet
fix copyright
add javadoc
fix required VC++ Redistributable version number in INSTALL
fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE
ktest: don't generate same PDFs multiple times
remove temp directory .k
fix bugs in mkdirs() changes
pass GlobalOptions.debug to KTestOptions.debug
when in verbose debug mode, pass --debug to spawned processes to print stack traces
improving last patch
fix a wrong condition
Merge pull request #964 from osa1/ktest-elim-dup-pdfs

ktest: don't generate duplicate PDF files. kompile: remove .k
fix npe with -ea enabled
fix typo that radu wants me to fix
clean up KRunModule / add comments
make a couple classes have non-null arguments
Merge pull request #957 from osa1/master

fix required VC++ Redistributable version number in INSTALL