feat(cil2smt2): use cmd-line option/parsing