Added utility to generate a plot of shampi vs. hampi perf.
Add support for MiniSat solver.