progress on removing lookups
more progress on eliminating lookups
added hook for list get
removed map and set choice classes
fixed order of argument in set membership
removed updates
reverted renaming of updateMap
improved handling of locals in kernelc
improved map lookup resolution
removed tmp.k file
fixed wcet
fixed output
add javaBackendHooks method to AbstractKModule + clean up BuiltinFunction code
adjusted specifications
fix copyright + add a KExceptionManager function
added some unit tests
fix code review comments
clean up references to setTopTerm in pattern matching rewriter
addressed Yilong's comments
Merge pull request #1212 from andreistefanescu/master

removing lookup and update classes form the java backend