Changes done for Gnome 3.8
Profiles have been moved from gconf to dconf, the script has to be modified.
The palette file has been changed to work with dconf.
fix bug when no profile already exists
Merge pull request #25 from Anthony25/master

Fix bug when no profile exists
Add indications for Gnome 3.8 in the FAQ
Merge branch 'gnome-3.8'
Merge the gnome-3.8 branch in install.sh.
Old gnome versions keep working, but avoid to switch on a specific branch to make the script working with gnome >= 3.8.