Thomas Erpenius / Ibn al-ʿAmīd al-Makīn, Historia Saracenica