Safely borrowing SDF lexical syntax into the new parser.
Passing the exception to the error manager to make it available for the --debug option.
Fixing the warning message for left/right tags.
Merge pull request #875 from kframework/newParserImprovements

Safely borrowing SDF lexical syntax into the new parser.