remove lp2yices command.

use lp2smt command instead.