add "-v" command-line option, closes #3.