fix bugs and add example

1. fix RequestVote bug. the leader will not become follower when network partition, and the candidate's log is smaller than leader but the candidate has larger term
2. add t8 test case
3. add raftis example
4. update readme