python remove leading whitespace in string