add --smt-set-logic option to lpconvert command
simplify output .smt2 file a bit