Add MathComp as dependency in README.