Added the option to specify xmin, xmax, ymin, ymax and delta as arguments to the map_saver...

This way we can easily change the size and the resolution of the map. Furthermore we noticed that only delta really matters. All others can be set to small values and gmapping will automatically extend the map when needed. It's nothing big, but we can make smaller maps and easily deviate from the default parameters to create more precise maps if desired.