Merge branch 'jh/infinite_function_cmra' into 'master'

Remove the domain finiteness hypothesis for the function CMRA, and put cmra_extend in Type.

See merge request FP/iris-coq!118
4 jobs for master in 10 minutes and 14 seconds (queued for 1 second)