framenet.py: string encoding for __repr__(); fixes #486