[Python-ideas] str.strip: argument maxstrip