Thomas Grubb — Irish engineer and telescope builder (1800–1878)