checkpoint: test Paxos.Status not work
checkpoint: why paxos lean a value from other in a simple  instruction?
fix: fix bug

1. fix bug in paxos, should initialize value to -1 if not commited.
2. basic new instruction in app server