fix bugs that cause different proposal_values to be proposed for the same slot number; added the query message to lock_server in case it stucks. Lock_server on accept() timeout queries the other lock_servers for the decisions on its current slot_num