SpiderMonkey AST conversion

Improved conversion from SpiderMonkey AST and added back-conversion from UglifyJS AST to SpiderMonkey format.