Upstream for liboqs (prove copy_from_upstream.py)

[planetf1]

The goal is to have this implementation be the source for mlkem in liboqs

This has already been discussed in principle in the liboqs community (and was one of the reasons for creating pqcp).

One proof point would be to ensure that the implementation can be incorporated into the existing importing mechanism liboqs uses. This should ensure the implementation is compliant .

This, in addition to other criteria, would be shared with the liboqs team to start the actual integration