[aur-general] Deletion request

Please delete gnome-shell-theme-ice-cream-sandwich [1]. It's now named gnome-shell-theme-holo [2] as stated in comments [1] by the maintainer. [1] https://aur.archlinux.org/packages.php?ID=55964 [2] https://aur.archlinux.org/packages.php?ID=56046