Improved Unicode versatility, fixed channel name

htmlout.py now works better with non-ASCII words.
startops.py now encodes files in UTF-8.
Default theme no longer uses placeholder channel name.