map_server: add crop_map.py to crop a map to the known area
Merge pull request #29 from dornhege/groovy-devel

map_server: add crop_map.py to crop a map to the known area