dump-ast: improve the command-line parser