Add has_preimage_with_preimage for FPModuleHomomorphism

[jamesnohilly]

This PR adds has_preimage_with_preimage for FPModuleHomomorphism, as required to fix oscar-system/Oscar.jl#4977.

This partially changes functionality of preimage as now it errors when no preimage exists, previously this was not the case.

[codecov]

Codecov Report

Attention: Patch coverage is 96.87500% with 1 line in your changes missing coverage. Please review.

Project coverage is 88.00%. Comparing base (43ec804) to head (b2c1b62).
Report is 6 commits behind head on master.

Files with missing lines	Patch %	Lines
src/ModuleHomomorphism.jl	96.87%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2112      +/-   ##
==========================================
- Coverage   88.33%   88.00%   -0.33%     
==========================================
  Files         126      126              
  Lines       31684    31663      -21     
==========================================
- Hits        27987    27864     -123     
- Misses       3697     3799     +102     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.