C implementation of Tarjan's algorithm to compute strongly connected components