Add getLeader() to server interface, update ServerBuilder to set IDs, tests
Add concurrent write and RPC tests