update dependencies for COMPASS

gpfsl-examples/algebra/mono_list_list.v

gpfsl-examples/circ_buff/proof_gps.v

gpfsl-examples/exchanger/proof_graph_piggyback.v

gpfsl-examples/graph/graph_extend.v

gpfsl-examples/graph/map_helper.v

gpfsl-examples/history/history.v

gpfsl-examples/list_helper.v

gpfsl-examples/queue/proof_abs_graph_graph.v

gpfsl-examples/queue/proof_hw_graph.v

gpfsl-examples/queue/proof_mp2_graph.v

gpfsl-examples/queue/proof_ms_abs_graph.v

gpfsl-examples/queue/proof_producer_consumer.v

gpfsl-examples/queue/proof_sequential_client.v

gpfsl-examples/queue/proof_spsc_graph.v

gpfsl-examples/queue/spec_abs_graph.v

gpfsl-examples/queue/spec_graph.v

gpfsl-examples/queue/spec_spsc.v

gpfsl-examples/set_helper.v

gpfsl-examples/stack/proof_history_abs.v

gpfsl-examples/stack/proof_mp_client_history.v