added a service to get the nodelet manager's name

closes #42