new mapgen version 0.12 released

https://www.openstreetmap.org/user/Gary68/diary/9775