Minor changes, added idris-mode and fixed git-gutter+