3.12: gnome-mines depends on gnome-themes-standard

Well, it might as well. We don't want anybody jhbuilding it otherwise.