charset.py: use the wcswidth function

no need to reinvent it.