Add contestgen.py.