Adding the 'noAutoReject' tag for Tokens. Also:
   - fixing the check for empty productions to also consider the combination of notInRules and notInGround tags
   - adding back the <delete> line from ant clean that removes the /basic directory from the code to avoid cleanup issues in git.
Adding the same noAutoReject to the new parser too.
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
Merge branch 'unified-builtins2' into syntaxFix
Never mind about this indentation. I don't want my name on the history since it should be removed soon.
fix Radu's comments
Merge pull request #818 from kframework/syntaxFix

Adding the 'noAutoReject' tag for Tokens. Also:
Fixing the 80 character per line issue.
Fixing issue #543