fixes library dependencies for boost_thread and boost_system in toolbox/metaSMT-server
fixes MiniSat dependencies
fixes variable name PicoSAT_FOUND
adds missing dependencies to metaSMT-server