Fix imports for ParserTest.
NewParser - added labels to the generated trees (worked with Michael).
Added a few lines of documentation wrt to Grammar and state representation.
Parser - fixed usages of "K" to KSorts.K.
Adding NullabilityCheck again. (Untested)
Finished implementation of the NullabilityCheck algorithm. All tests pass this time.
Improved the code readability as Michael suggested.
NewParser - added a visitor that transforms K syntax into the NFA states required by the new parser.
                    - not tested
                    - TODO - once Michael finishes with rules that apply labels on terms, modify the sort returned by constants
                                   - at the moment, every state requires OrderingInfo. Remove that requirement in the future, once the ordering algorithm is sorted out.
NewParser - added command line options for kast for the new parser.
                    - doesn't work.
Various fixes:
    - fixed the deserialization NullPointerException.
    - added sort information for states
    - fixed labels for productions
    - created the cleaner filter that removes artifacts from the parse tree.
Added OrderingInfo, and wrapped states into a Grammar class.
  - refactored NullabilityCheck
  - added 2 tests that are not yet connected to ktest
Polish:
    - added two more tests with ambiguities
    - renamed NullabilityCheck into Nullability
    - fixed UnitTests to test again Nullability
Adding support for whitespace (except for the beginning of the file):
       - a regular expression matches on whitespace and comments
       - updated the TreeCleanerFilter so it better handles the abundance of tokens that needs deletion.
Fixing generation of states for lists and adding whitespace at the beginning of the input.
Updating  one of the examples for the new parser.
Rewrote parser kernel to handle rules.
Merge branch 'newparser-rules-2' into newparser
Fixed:
   - Unit tests now use the new RuleState to add labels to terms. All tests pass
   - cleaned up a bit the constructors - don't require OrderinInfo anymore.
   - TODO: fix generation from KSyntax to grammar states.
Fixed:
   - fix generation from KSyntax to grammar states.
   - fixed sort for terms generated by the parser.
Adding support for error reporting. Still need to connect it o kast and present the errors in a meaningful way.
Added error reporting with nice location information.