Idris simple indent

RE #142

This new indentation style also works with .lidr files, so this PR makes it default.