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