Fixes memory leaks inside CoverageTool and improves style#324

DanielELog wants to merge 6 commits intoVSharp-team:masterVSharp-team/VSharp:masterfrom

DanielELog:CoverageToolFixesDanielELog/VSharp:CoverageToolFixesCopy head branch name to clipboard