add showRationalAsFiniteDecimal in Util module and use it in Converter.LP2SMT
remove cnf2lp, maxsat2lp, pb2lp and lp2smt.

Use lpconvert command instead.