An IOI-style programming contest system that works