Join ralf_grosse_kunstleve with HEAD

svn path=/branches/unlabeled-1.3.2/boost/libs/random/; revision=9444