graph/formats/dot: allow unicode inside html labels

Created by: egonelbre

Please take a look.

I added support for unicode characters inside html labels.

I also replaced the shell script for pasting the copyright tag with go code, so that code could be generated on Windows.