fix leader field of Server
delete the redundant codes when using setCurrTerm
Merge pull request #15 from xiangli-cmu/master

Fix leader field and delete some redundant codes