Briefly mention Rocq in INSTALL.md#2321

jdchristensen merged 2 commits intoHoTT:masterHoTT/Coq-HoTT:masterfrom

jdchristensen:install-mention-rocqjdchristensen/HoTT:install-mention-rocqCopy head branch name to clipboard