python/javascript bridge (using spidermonkey)