George Johnston Allman — Irish mathematician and historian (1824–1904)