add a command-line option