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.
Amending some of Dwight's comments:
   - added a check to ensure [bracket] is used properly
   - fixed some comments.
Changed a bit the DFA for lists in order to improve performance for long lists.
   - making a single circular call to the element instead of multiple ones to the same list. Avoids the quadratic behavior.
Merge branch 'master' into parser-priorities2
Removing the comment from config.xml.