Actually parse command-line options