Update Gnome versions

Gnome version has been updated to 3.12.  Gnome development version has been updated to 3.13