Another take on the priorities.
  - Calling the unmodified filters which work over TermCons (not doing anything for now because the parser returns KList)
  - Updated the test files.
Patch for Issue #425.
Removing brackets for <br/> as they can be specified using normal brackets.
Another take on the priorities.
  - Calling the unmodified filters which work over TermCons (not doing anything for now because the parser returns KList)
  - Updated the test files.
Instantiate TermCons instead of KApp for general terms.
Merge branch 'parser-priorities2' of https://github.com/kframework/k into parser-priorities2
Fixing TreeCleanerVisitor for TermCons not propagating properly.
Managed to parse factorial.simple
   - made the parser return a TermCons with 0 children for the list terminator
   - fixed CollectPrioritiesVisitor not being called properly
   - added data structures in Context for associativity information
   - updated the PriorityFilter to take into consideration associtivity
Still to do:
   - fix some examples
   - fix instantiation for constants to reference the production
   - fix the JUnit regression tests.
Adding RemoveBracket to the new parser. It should produce the same trees now.
Making K the default start symbol.
   - all but the list sorts are subsorted to K
Making the new parser the default one for programs.
Merge branch 'master' into parser-priorities2
Temporarily removing the JUnit tests for the new parser. The new output of the parser don't match anymore.
Improving the performance of the parser and disambiguation filters by caching the hashCodes.
Merge branch 'master' into parser-priorities2
Fixing two of the failing examples.
Added another test to catch exponential behavior.
Java backend: added option --pattern-matching to krun
Java backend: added tag interface for data structure choice operations; fixed a related latent bug
Java backend: fixed a few bugs in SetLookup & PatternMatcher
Java backend: used GroundRewriter for run/search when option --pattern-matching is enabled