remove output mode raw
change output binary to stream output
buffer writes to file
improve performance
fix profiler to use cpu time
remove old com.sun Base64 references
Merge pull request #1267 from dwightguth/apply

add rule auditing feature
Merge pull request #1266 from dwightguth/outputraw

Performance improvements to krun
add new floating point function
fix error in test
Merge pull request #1269 from dwightguth/float

add new floating point function
term construction abstract machine
fix copyright
revert unchanged files
fix Yilong's comments
Merge pull request #1270 from dwightguth/kmachine

term construction abstract machine
lazily evaluate sort of KItem
fix bug in cloning
fix stray change
remove memory leak on warnings when they are disabled