Fix typo in examples/clpaxos/spec.da.

The 'TwoAv' message type on lines 40 and 41 were misspelled 'TwoAV'.
Luckily this only affected the sending of 'TwoB' messages, which isn't
used for anything.

* examples/clpaxos/spec.da(Acceptor.main): fix typo.