Server can leave in reconfiguration.
Refactoring code
Merge pull request #109 from EasonLiao/refactory

Refactory
Change QuorumZabTest from CountDownLatch to Semaphore.
Merge pull request #113 from EasonLiao/change_test

More unit tests for QuorumZab and change from CountDownLatch to Semaphore