Teach IDE reporter to print to a file#1096

AlexDenisov merged 2 commits intomainmull-project/mull:mainfrom

alexdenisov/teach-ide-reporter-to-write-filesmull-project/mull:alexdenisov/teach-ide-reporter-to-write-filesCopy head branch name to clipboard