Minimap updates

[SJuliez]

• makes it possible again to show the minimap in the board editor
• makes specific hex borders on the minimap thicker on high zoom (big minimap) to improve visibility (e.g. deployment borders)
• makes the minimap repaint continuously when the board is dragged in the main boardview window to show updates to the visible section (this does not do a full minimap redraw, only blits the image again and draws the visible section rectangle, so should be very fast)
• removes the paint() and update() overrides from the minimap in favor of paintComponent which should be the method to override. This seems to remove a slight lag when starting a drag in the main boardview window in deployment although I couldn't find out why this lagged except that it came from drawing the deployment borders in the minimap.
• removes a few synchronized as the minimap is only accessed from the EDT.