string lower_case(string str)

Convert all characters in "str" to lower case, and return the new string.

See also: efun/upper_case, efun/capitalize