Add python-based shortcut to format JSON