auto-indent: add a very minimal python indenter