Updated the tgp-latex example
Python backend now handles strings as unicode internally

Input and output to Python scripts are assumed to be UTF-8; this encoding
handling may be improved in the future.