separate lp2smt and lp2yices functionality into Converter.LP2SMT and Converter.LP2Yices modules
introduce Options type into Converter.LP2SMT module
remove Conveter.LP2Yices module.

use Converter.LP2SMT instead