gtk3: use face-cool instead of undo

It seems that gnome-icon-thme on Ubuntu 12.04 LTS includes face-cool.