fixed visitor
initial commit for kernelc
first draft of the kernelc
added matchc examples
first working version of kernelc
added map difference
fixed the deletion of local variables
minor fixes to the syntax file
fixed copyright and trailing whitespaces
fixed typo in map-impl.k
addressed Grigore's minor comments
add attributes to terms so that we can specify the bit width of MInt variables
included missing lemmas
partial progress on proving list head example
fix Radu's comments
Fixing the 80 character per line issue.
Merge pull request #832 from kframework/fixMessage

Fixing the 80 character per line issue.
Merge pull request #833 from andreiarusoaie/unified-builtins2

Fixing issue #543
Merge pull request #828 from andreistefanescu/unified-builtins2

added kernelc semantics
Merge pull request #826 from yilongli/fixing-issue-825

fixing issue 825