Use custom `#define`s in examples until hacl-star has them.

[duesee]

Ah, yeah. I wanted to make a pass over all (new and old) examples later. Will open an issue.

_Originally posted by @duesee in https://github.com/cryspen/hacl-packages/pull/274#discussion_r1035977392_