Modified Makefile so it builds multisat and can use openmp.

(OpenMP will likely be removed later)