metaSMT-server: implement incremental sat

 * don't print answers from every solver on every command (just one)
 * keep track of question/answer-relation of sent messages by counting
   the answer count of every solver
 * don't kill any solvers after one solver found a solution
 * make solver list a vector
 * fix not working (get-value)-command by removing its special treatment