map server service to change map

[SteveMacenski]

There's a fork here (ros-planning/navigation#461) that implements but stalled out waiting for folks to accept message files.

[mkhansenbot]

This is good, but shouldn't it be "set map" instead of "change map". I'm just thinking it should use consistent getter / setter methods since we already have a "get map" service. I know you didn't write the PR but let me know your thoughts on that. I

[SteveMacenski]

I think set map would work too. Personally I also prefer change map as it implies you're going from current map -> new map since the map server can only run with a given file already loaded. Set map (to me) doesn't have the same connotations that you're changing the map of choice. This would also be just diction I'm used to from my own internal APIs.

Either would work.