move examples out of the gpfsl package

README.md

_CoqProject

gpfsl-examples/chase_lev/code.v

gpfsl-examples/circ_buff/code.v

gpfsl-examples/circ_buff/code_na.v

gpfsl-examples/circ_buff/proof_gps.v

gpfsl-examples/lock/code_ticket_lock.v

gpfsl-examples/lock/proof_ticket_lock_gps.v

gpfsl-examples/map_seq.v

gpfsl-examples/mp/code.v

gpfsl-examples/mp/proof_gen_inv.v

gpfsl-examples/mp/proof_gps.v

gpfsl-examples/mp/proof_reclaim_gps.v

gpfsl-examples/mp/spec.v

gpfsl-examples/nat_tokens.v

gpfsl-examples/queue/code_ms.v

gpfsl-examples/queue/proof_ms_gps.v

gpfsl-examples/queue/spec_per_elem.v

gpfsl-examples/stack/code_na.v

gpfsl-examples/stack/code_treiber.v