Use actual variables from gvars to be changed on the command-line.
Remove these options from argparse.
Change Options.cmpopts reference to VLOG.OPTIONS.
Remove cmpopts, it has been merged with VLOG.OPTIONS.
Fixed conflicts.

nothing to commit, working directory clean
Merge branch 'cmd_line' into devel
Minor cleanup to project.py.
Move check_files_exist to utils.
Move common methods needed by vericom out of VlogGadget.
Move VCS_VERSION definition higher so it actually works.
Be able to print a vkit.
Improve help.
Merge branch 'master' into devel
Add documentation and checker.
Merge branch 'devel'