Disable auto-wrap + display 80th col
Add idris-vim plugin