Idris filetype detection and color scheme
Update filetype mappings to be buffer-local