Add USACO header in the judge plugin