webkitgtk.override: add webkit_web_settings_get_type; webbrowser.py: add populate...