how to replace repeated instances of a character with a single instance of that character in python,"re.sub('\\*+', '*', text)"