reworked the concurrent usage of multiple solvers

* use process instead of threads
* commands sent between solvers and metaSMT-server must no longer be
  appended with a \n
* removed now useless remains previous threaded approach