Plonky3: link for the blake3-air/ folder

[clarus]

Add link files for the blake3-air/ folder in https://github.com/formal-land/coq-of-rust/tree/main/CoqOfRust/plonky3/blake3-air

We can ignore for now the generated trait instances by #[derive(...)] that are rarely used and often complex. When they are needed, we can axiomatize them.