string.strip() returns a copy of a with all white space at the beginning and end of a removed.
string.strip(string chars) removes all characters appearing in chars at the beginning and at the end of astring. astring it not modified, a copy is returned.
"-*- hello -*-".strip("-* ") == "hello"
