more augment_options to jsformatter.py