[mkgmap-dev] Include the following patches into trunk -- Patch1 - Drop small Polygons

The following patches are in my eyes really worthwhile and should be added to trunk. They all work fine without glitches. 1. Drop small Polygons I am not sure who wrote this patch, but I have been using it longtime and it certainly does improve map performance especially on higher resolutions. It removes all polygons which consist of less than 8 pixels. If you deem that this is too extreme (though 8 pixels is really nothing, and polygons of less than 8 pixel size are barely noticeable anyhow - and only slow down map drawing) the following line could be reduced to maybe 6 or 4 pixels: + private static final int MIN_SIZE_POLYGON = 8;