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