added support for solvers STP, SWORD, MiniSAT, PicoSAT, and CUDD to metaSMT-server
Command throws exception on error
removed unused variable from source