Add getLeader() to server interface, update ServerBuilder to set IDs, tests