[feat] Add Info View buttons: goto file/line/col#13

bollu wants to merge 3 commits intoleanprover-community:masterleanprover-community/lean4-mode:masterfrom

bollu:info-buffer-linksbollu/lean4-mode:info-buffer-linksCopy head branch name to clipboard