Added recover script, syntax "recover.pl servers servernum1 [ servernum2]"
Added recover script, syntax "recover.pl servers servernum1 [ servernum2]"
Merge branch 'master' of github.com:shengd/paxos