Update src/2013-01-16-timing-normal-rngs.Rmd

Add variant of the std designation for (I think) some earlier versions of compilers (g++ < 4.7)