MaxHS Hybrid MIP/Sat maxsat solver version 2.9.8

maxhs-a --- should work better on wpms problems
maxhs-b --- better on other problems

Fahiem Bacchus, fbacchus@cs.toronto.edu
www.maxhs.org