Fixed the mapped_view_base<Element>::unmap() member function. Fixed the map_read_only_file() function. Added the map_file() utility function.