Vote phase correctness validation of MicroRaft against AbstractRaft specification

Validate the correctness of the vote phase using the abstract raft specification. Check using the following command line : sh run_VotePhaseValidationTest_abstract_pipeline.sh (after installing all prerequisites).