Merge pull request #1205 from andreistefanescu/master

simplification in substitution and function evaluation
Merge pull request #1206 from andreistefanescu/master

removed duplicate code
fixed typos in documentation
reverted one small typo
reverting one small typo
Revert "simplification in substitution and function evaluation"
Merge pull request #1208 from kframework/revert-1205-master

Revert "simplification in substitution and function evaluation"
Revert "Revert "simplification in substitution and function evaluation""
Merge pull request #1209 from kframework/revert-1208-revert-1205-master

Revert "Revert "simplification in substitution and function evaluation""
Merge pull request #1207 from omarz1/master

Fixed typos in the documentation
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 #1212 from andreistefanescu/master

removing lookup and update classes form the java backend
fix Andrei's bug with read stdin
Merge pull request #1213 from dwightguth/hook-module

add javaBackendHooks method to AbstractKModule + clean up BuiltinFunctio...
Merge pull request #1215 from dwightguth/readstdin

fix Andrei's bug with read stdin
improved handling of bottom