Clean generated build artifacts#4

mlgorithm wants to merge 3 commits into

AutoProving:mainAutoProving/TreeWidzard-Engine:mainfrom

mlgorithm:Sam/cleanup-generated-artifactsmlgorithm/TreeWidzard-Engine:Sam/cleanup-generated-artifactsCopy head branch name to clipboard