update dependencies

coq-gpfsl.opam

gpfsl-examples/big_op.v

gpfsl-examples/event/ghost.v

gpfsl-examples/exchanger/proof_graph_piggyback.v

gpfsl-examples/graph/ghost.v

gpfsl-examples/history/ghost.v

gpfsl-examples/queue/proof_hw_graph.v

gpfsl-examples/queue/proof_ms_abs_graph.v

gpfsl-examples/queue/spec_spsc.v

gpfsl-examples/stack/proof_elim_graph.v

gpfsl-examples/stack/proof_treiber_at.v

gpfsl-examples/stack/proof_treiber_graph.v

gpfsl-examples/stack/proof_treiber_history.v

gpfsl/algebra/lat_auth.v

gpfsl/algebra/lattice_cmra.v

gpfsl/base_logic/bi.v

gpfsl/base_logic/frame_instances.v

gpfsl/base_logic/history.v

gpfsl/base_logic/meta_data.v

gpfsl/base_logic/na.v