refactored jj grammar for the outer parser
Improving warnings for ambiguous constants, improving grammar for tokens.
Started to work on adding case insensitive Terminals into K.
Found the bug in VARID reject.
Adding a test for the improved regex grammar.
Found the bug in the MaudeFilter.
Merge pull request #863 from kframework/outerParser

Outer parser - improving lexical expressions and adding case insensitive keywords