Minor improvements & small bugs fixed#22

fzakaria wants to merge 5 commits into

uber:mainuber/scip-lsp:mainfrom

fzakaria:fzakaria/minor-tweaksfzakaria/scip-lsp:fzakaria/minor-tweaksCopy head branch name to clipboard