Add reference for binary_search from Peter Norvig

增加Peter Norvig对相加溢出详细解释的链接。