First draft of more fine-grained logging#198

thorehusfeldt wants to merge 1 commit intoKattis:developKattis/problemtools:developfrom

thorehusfeldt:feat/loggingthorehusfeldt/problemtools:feat/loggingCopy head branch name to clipboard