random.rdrand: adding RDRAND random generator.

extra/random/rdrand/authors.txt

@@ -0,0 +1 @@
+John Benediktsson

extra/random/rdrand/rdrand.factor

@@ -0,0 +1,13 @@
+! Copyright (C) 2013 John Benediktsson
+! See http://factorcode.org/license.txt for BSD license
+
+USING: cpu.x86.features kernel random ;
+
+IN: random.rdrand
+
+SINGLETON: rdrand
+
+M: rdrand random-32* drop rdrand32 ;
+
+: with-rdrand ( quot -- )
+    [ rdrand ] dip with-random ; inline

extra/random/rdrand/summary.txt

@@ -0,0 +1 @@
+RDRAND random generator