repo.py: updated the documentation of the new command line options.