Branch for developing Bitten client/server testing

svn path=/branches/bitten/boost/nondet_random.hpp; revision=41004