Preimage function for finite maps.

Merged Robbert Krebbers requested to merge robbert/preimage into master

This is a possible solution to #140

Merge request reports