Minor improvements & small bugs fixed#22

fzakaria wants to merge 4 commits intouber:mainuber/scip-lsp:mainfrom

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