Include <limits> in MathSAT5 header

This header is needed to detect overflows when computing
the absolute value of numeric literals.