Adding to Paxos files

adding slotsManager stuff to paxos files (acceptor ~~OK, proposer NOT
ok)