leanprover-community/vscode-lean4 not found