Do not open NERDTree window when opening Idris files