Moved utility algorithms out of org.kframework.parser.concrete2.
Merge pull request #386 from kframework/moved-parser-utility-algorithms

Moved utility algorithms out of org.kframework.parser.concrete2.