Promela parser & Tarjan's SCC algorithm.
Minor alterations to the SCC algorithm.
added requires and ensured to vim highlighting
added ant build to idea