[condorcet] New functions and Is_Valid_Vote_Matrix. New procedure Vote

* Update Reset to initialize the Size of M to a given size.