Port to python3/gtk3

WebKit is imported from gir1.2-webkit-3.0 instead instead of python-webkit.