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.
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.
Merge pull request #818 from kframework/syntaxFix

Adding the 'noAutoReject' tag for Tokens. Also: