Add map.det_{min,max}_key/1.

library/map.m:
    As above.

NEWS:
    Announce the new functions.