refactor ktest to run krun immediately following kompile
make initial config obtained only once via provider instead of singleton
change krun to normalize fresh variables in output
Merge pull request #1142 from dwightguth/freshvar

change krun to normalize anonymous variables in output
Merge pull request #1141 from dwightguth/singleton

make initial config obtained only once via provider instead of singleton
Merge pull request #1140 from dwightguth/ktest

refactor ktest to run krun immediately following kompile
move statistics state from Context to CountNodesVisitor
remove startSymbolPgm and related visitor
remove definedSorts
remove intialized flag
fix some warnings
move cell data structures state to Cells