Merge pull request #76 from anoma/aleks/hpaxos-2-buried

Simplify definition of Buried

Merge pull request #75 from anoma/aleks/fix-missing-case

Fix missing case in 1b-message processing