MAP_ZOOM: Ipmlemented map scaling with a zoom slider

- The old "Define map's width" that actually just scaled the map
  has been replaced with a zoom slider (zoom factor 1.0-10.0).