Added string.stripcolor()