Add ballotgen.py.