Fixed protocol name in pseudocode images#1

saltiniroberto wants to merge 2 commits intomastersaltiniroberto/enhanced-bft:masterfrom

fixed-protocol-name-in-pseudocode-imagessaltiniroberto/enhanced-bft:fixed-protocol-name-in-pseudocode-imagesCopy head branch name to clipboard