In python how to remove one or more leading characters of a string?