Since a new file for Gnome themes and extensions has been made, I moved 
numix-theme there from gnome.scm.

Bye

Giacomo