adapt to coq PR #11404, where RList is replaced by (list R)

PR #11404 on coq/coq will brake the compilation of coquelicot because type RList and a few of the attached functions are removed in this PR. The fix in this pull request makes sure compilation works (already tested on a local machine and by Coq-ci).