mkgmap now supports sea polygons

https://www.openstreetmap.org/user/Ævar Arnfjörð Bjarmason/diary/7943