cltostring.py: Don't pretend to handle unicode

This isn't really the correct way to do things, but
it will work in both python 2 and 3 as long as the
.cl files are actually ascii.