switched to python3 (automatic Unicode handling) and utf-8

plus, some new headers in the files