Cosmetics
Add depth_map_get_height and depth_map_get_width (untested)