ABA protocol bug

[afck]

At a glance it looks like bba.go implements the ABA as in the original paper. This has a bug that can be fixed by adding another message round: amiller/HoneyBadgerBFT#59

[anthdm]

@afck Thanks for the heads up. I will look into it when I can find some spare time.