Added logic to kill judge on Ctrl-C which I surely hope works.