javascript virtual machine library using spidermonkey