script: pngmap_to_h5map.py