re-enable some tests in multi_paxos_test.ml
improve tests in single.ml by verifying the exception codes
add exception handling for PREFIX_KEYS in client protocol
Merge pull request #365 from Incubaid/tests

Tests