Added the option to specify xmin, xmax, ymin, ymax and delta as arguments when starting 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.
Merge pull request #58 from AlexanderHermans/mapsize

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