Gossip message queue and priorities

[lrettig]

As discussed yesterday on call with @ilans, apparently the P2P layer implements some sort of priority queue on outgoing gossip messages - since some, e.g., Hare messages, are more time-sensitive. Understand and document this.