[aur-general] Removal request: coq-nogui

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