Thomas Erpenius, Historia Josephi patriarchae ex Alcorano