FR: Add gift contract example to /examples

[nielstron]

Is your feature request related to a problem? Please describe.
The documentation now features a sample introduction with the eopsin gift contract, but the /examples folder only contains the old example with the Haskell 42 contract.

Describe the solution you'd like
The gift contract example should be added.

Describe alternatives you've considered
None

Additional context
#144