Comet server for HotCRP