Use map in protobuf message for receiver id based data

[mransan]

Currently the LeaderState is a list of index. A subset of operations are querying this data structure by receiver id so it would make sense to use map. So far we only have a very limited number of servers so not worth it.