Made MiniSat solver backend configurable in ezminisat.h