a judger server for online judge system