Fix/solvers missing pthread

This adds the -pthread linker flag to the solvers (it was already added for library executables). This is needed to avoid undefined symbol linking errors when using boost_thread on some systems.