Tweaking client-robot protocol.  Removed QUERY_ARRIVE and added asynchronous ARRIVED message.