Move separate_thousands() to str_util so it can be used elsewhere, later

Seems a useful function to have on hand. Especially now that it's "fixed"
(will convert "1234" to "1,234").