Join ralf_grosse_kunstleve with HEAD

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