Added example of using Dual_EC_DRBG.