ジャッジの人数が足りなかった場合に、可能な限り割り当てをしつつ処理を続行するオプションを追加

[sakabar]

これまでは、スタッフの人数が足りなかった場合、実行を停止していた。
しかし、実際に運用した場合に、「エラーで停止してしまうのではなく、できるところまで割り当てておいて、その後に手作業で調整したい」という要望があった。

そのため、continue_when_judgesという変数を追加し、ジャッジの人数が足りなかった場合に、可能な限り割り当てをしつつ処理を続行できるようにした。

continue_when_judges = Trueのときは、

333_Aでスタッフ足りなくて割当無理でした: 11 < 12

のようなメッセージを表示する。