Adding isPalindrome to mathLib and Readme. It's not the worst.