Add DOMJudge result exporter