Port ShellStatusMenu to javascript

https://bugzilla.gnome.org/show_bug.cgi?id=601458

src/shell-global.h

@@ -79,6 +79,10 @@ GdkModifierType shell_global_get_modifier_keys (ShellGlobal *global);
 
 ClutterModifierType shell_get_event_state (ClutterEvent *event);
 
+void shell_popup_menu (GtkMenu *menu, int button, guint32 time,
+                       int menu_x, int menu_y);
+
+
 G_END_DECLS
 
 #endif /* __SHELL_GLOBAL_H__ */