File randombytes.h from the latest check-in

void randombytes(unsigned char *buffer, unsigned long long length);