ABA protocol bug

At a glance it looks like [`bba.go`](https://github.com/anthdm/hbbft/blob/master/bba.go) implements the ABA as in the original paper. This has a bug that can be fixed by adding another message round: https://github.com/amiller/HoneyBadgerBFT/issues/59