add --no-produce-model option to lp2smt command
do not define "optimality" symbol and inline its body where necessary
add lpconvert command