Rename MathSat.hs to MathSAT.hs