normalize Unicode stuff

Now everything has a # -*- coding: utf-8 -*- and a
from __future__ import unicode_literals.

(Also verbose names are lowercase.)