[Cryptech Tech] 25519 implementation

[Randy Bush]

in the cfrg interim, djb said there was a 25519 verilog implementation.
not clear it is available.

randy