read map files

[tjhance]

Support the new map file format

[shewu]

Mostly done since 6edd16fc41e8f3893e5d26a2dd34433636ca5864; see HBMap files. Needs to be integrated into the world class and unit tested. It works (i.e. does not throw exceptions) for valid files.