Add command-line options to build.py.