pub/, progs/: Implement Bernstein's X25519 key-exchange algorithm.