update .gitignore for ENSIME