Improved idris indentation
Improve idris indentation and colon behaviour
Add idris-ret