bug#33745: Unnecessary dependencies in Coq

[Dan Frumin]

Oh, I forgot about another potential issue: right now the Coq package 
_hardcodes_ the use of Icecat as a default browser:


       (modify-phases %standard-phases
         (replace 'configure
           (lambda* (#:key outputs #:allow-other-keys)
             (let* ((out (assoc-ref outputs "out"))
                    (mandir (string-append out "/share/man"))
                    (browser "icecat -remote \"OpenURL(%s,new-tab)\""))
               (invoke "./configure"
                       "-prefix" out
                       "-mandir" mandir
                       "-browser" browser
                       "-coqide" "opt")))) ..


Can this be avoided somehow?