update dependencies; fix for wp_apply changes

coq-iris-examples.opam

theories/barrier/example_client.v

theories/barrier/example_joining_existentials.v

theories/barrier/proof.v

theories/hocap/cg_bag.v

theories/lecture_notes/bag.v

theories/lecture_notes/coq_intro_example_1.v

theories/lecture_notes/lists.v

theories/lecture_notes/modular_incr.v

theories/logatom/elimination_stack/stack.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/rdcss/rdcss.v