add boost's rng to crystal to replace hand-coded RNG.  More minor recode work elsewhere