Fix waiting screen (it was using client time, not server time, resulting in desynchronization); allow users to always proceed even if other users quit, and form smaller groups in the case a full number are not available