Join ralf_grosse_kunstleve with HEAD

svn path=/branches/unlabeled-1.4.2/boost/boost/re_detail/; revision=9444