modify whitespace rules for data structures in unparser
add interface for k module system
fix copyright
Merge pull request #854 from dwightguth/format

modify whitespace rules for data structures in unparser
Merge pull request #855 from dwightguth/service

add interface for k module system
Merge pull request #852 from andreistefanescu/unified-builtins2

translation to SMTLib format + binary search tree proved
kernelc is now deterministic; verification rules use Traian's mechanism for completing the configuration