alternative python auto-indentation