Added GNOME Shell 3.12 to supported version list.