More unicode fixes

Html pages should now be generated with Unicode characters correctly.
Fixed encoding syntax in startops.py.