2013-05-18-12.31.30: src/lib/src/map.api:  Added  get_or_raise_exception_not_found  as a convenient alternative to  get  when the key is known to be in the map.