Ensure MPS_HOME is deleted on clean

build.gradle

@@ -100,6 +100,10 @@ task installMps(type: Copy)  {
   includeEmptyDirs = false
 }
 
+task deleteMps(type: Delete) {
+  delete 'MPS_HOME'
+}
+
 def allInitDependencies = [
   'installMps',
   'coderules:solutions:jetbrains.mps.logic.reactor:copyDependencies',
@@ -232,6 +236,9 @@ clean {
       ':samples:fitch:fitch-clean', ':samples:fitch:fitch-cleanSources'
     ]
   }
+  finalizedBy {
+     deleteMps
+  }
 }
 
 check {