Improve support of simplify_option_eq (and simplify_map_eq?) for setoids
By @jung, see https://gitlab.mpi-sws.org/FP/iris-coq/issues/49.
Some testcases:
- https://gitlab.mpi-sws.org/FP/LambdaRust-coq/commit/c6a626adbe1bf78b34f4e74204b98007f532892d#59b3a9376af7e8ce6a745e02cef554707e5c7419_585_585
- in lambdaRust, lifetime/primitive.v, proof of
own_ilft_auth_agree