string trim_all_whites(string s)
Trim leading and trailing white spaces characters (" \t\r\n") from the string s .