map_info_rdr.py: support for more maps than fit in a uint64
map_info_rdr.py: support for more maps than fit in a uint64

  * The limit is still 64b but could be raised easily by upgrading the
    code that emits the valid maps for each encoding space. The upgrade
    would have the same form as the 2 upgrades done by this commit.

(cherry picked from commit 81d6e8cc6be49d02f9f53d6173d67f17305a482e)

intelxed/xed,intelxed/xed,intelxed/xed,intelxed/xed