(GLUI) Implement menu->userdata for GLUI