Fixed the license issues with Tarjan.
Merge pull request #357 from kframework/newparser-tarjan-license

Fixed the license issues with Tarjan.