!mapinfo improved

!mapinfo <map> to show data of another map
Level is now displayed
Some maps have not mapper known, an appropriate message is written

Something doesnt work: https://github.com/urtjumpers/b3-plugin-jumper/blob/master/extplugins/jumper.py#L615