Prefer pretty Javascript output over obfuscated one.

There is no rationale for producing Javascript that is hard to read.
Personally speaking I am in favor of the "Pretty" option to make
debugging easier. Minification is not a relevant argument for me.

Open for disussion.