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

Related to issue #3, but does that in a separate script that outputs the cropped yaml file + pgm.

The script is independent from anything and could also be merged into other devel branches or moved to another package.