[condorcet] Add test for Is_Zero
[condorcet] Rename Vote into Matrix_Of_Vote. Implement its test
[condorcet] Gitignore files generated by metrics analysis
[condorcet] Rename Is_Valid_Vote_Matrix into Is_Valid_Matrix_Of_Vote
[condorcet] Add new functions and procedures

New functions and procedures:
 * Get_Vote
 * Is_Zero_Or_One
 * Is_Not_Saturated
 * Sum