Add ENSIME to repo.