Fix Unicode var names in JS
Add indentation to generated JavaScript