Added random number generator class in lib_calvin.