First implementation of HopcroftKarp algorithm, still to be debugged.