add javaBackendHooks method to AbstractKModule + clean up BuiltinFunction code
fix copyright + add a KExceptionManager function
fix code review comments
clean up references to setTopTerm in pattern matching rewriter
Merge pull request #1213 from dwightguth/hook-module

add javaBackendHooks method to AbstractKModule + clean up BuiltinFunctio...