Join ralf_grosse_kunstleve with HEAD

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