util.hh: add std::map print function.