Added basic Paxos implementation.

See replica.thrift and replica_handler.cpp for relevant changes. Considers
the first replica to start an election as the distinguished Learner to
make things a bit simpler.