WebKit scripting with Python