[aur-general] Removal request: coq-nogui

[zerstorer at free.fr]

Hi,

Please remove `coq-nogui` [1]. It's a duplicate of `coq-nox` [2],
which has a cleaner PKGBUILD and is more in line with the other coq
packages (`coq` [3], `coq-doc` [4]).

The current maintainer of `coq-nogui` (Cc-ed) is ok with the removal.

Thanks!

[1] https://aur.archlinux.org/packages/coq-nogui
[2] https://aur.archlinux.org/packages/coq-nox
[3] https://aur.archlinux.org/packages/coq
[4] https://aur.archlinux.org/packages/coq-doc