minor update
Fix GNUmakefile.in.
Actually wait for proposer_init to exit.
bugs with Json req
updated problem
updated npaxos