lower_case() - return the lowercase version of a given string

string lower_case(string str);

Return the lowercase version of a given string (original string remains unchanged).