implemented support for ``set-option [timeout|solver|...]'' in metaSMT-server
implemented support for ``set-option [timeout|solver|...]'' in metaSMT-server

support for (:set-option timeout|solver ...)

implement ":set-option timeout"

agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT