mike changed how to launch nodelet manager in mainpage.dox