No possibility to set size of navigation map

[MatthijsBurgh]

The map only takes into account the objects with a volume. The size of the pgm, which is used for the walls, is not used to determine the map size.