add Yices2 specific output functionalities.

* do not output "(set-evidence! true)"
* use floating point representation for rational numbers
* add --yices2 command line option to lpconvert/pbconvert
sync pbconvert command with lpconvert command