Document the fact that Random and setRandom are not reentrant (so not thread-safe)
Add an example showing how to use C++11 random distributions