Make updating of plugin_menu labels possible, and use it in update.pike