String manipulation in Cython,"re.sub(' +', ' ', s)"