Update and rename MathSat.hs to MathSAT.hs