Added RandomLib (see http://randomlib.sourceforge.net/)

Excluded boost::random.

Change-Id: I84f246d89b64d1f4cf3358e5f645ca25340634c5