Minos Online Judge for Programming Competitions.