Seol mar théacs é seo: Algorithms determining finite simple images of finitely presented groups