Improve the broadcast documentation.

[afck]

• Reorganize the explanation, separate algorithm from justification.
• Some of the message numbers were wrong.
• Use [i] for indices, even in pseudocode.

[mbr]

It seems that it's mainly my corrections that need a correction ;).

[andogro]

Looks good, including the basic methods and Merkle tree explanation makes it much clearer.