move examples out of the gpfsl package

I have not added a coq-gpfsl-examples package. That is only needed if someone wants to actually install and import that for use in their own project, which I assume should not be the case?

Cc @haidang