Bump Iris (beautify code for `iCombine .. gives`).

coq-iris-examples.opam

theories/concurrent_stacks/concurrent_stack2.v

theories/concurrent_stacks/concurrent_stack4.v

theories/hocap/concurrent_runners.v

theories/hocap/contrib_bag.v

theories/hocap/lib/oneshot.v

theories/lecture_notes/ccounter.v

theories/lecture_notes/coq_intro_example_2.v

theories/lecture_notes/lock.v

theories/lecture_notes/lock_unary_spec.v

theories/lecture_notes/modular_incr.v

theories/locks/array_based_queuing_lock/abql.v

theories/locks/freeable_lock/freeable_logatom_lock.v

theories/locks/freeable_lock/freeable_spin_lock.v

theories/logatom/conditional_increment/cinc.v

theories/logatom/counter_with_backup/counter_proof.v

theories/logatom/elimination_stack/hocap_spec.v

theories/logatom/elimination_stack/stack.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/rdcss/rdcss.v