util.py: Added format_str() to use locale-specific formatting settings, including thousands separator. Use it in to_percent().