add icons for .lean files - default blue.#705

spaceunifyfifty wants to merge 1 commit intoleanprover:masterleanprover/vscode-lean4:masterfrom

spaceunifyfifty:masterspaceunifyfifty/vscode-lean4:masterCopy head branch name to clipboard