Jenkinsfile update (#1474)

* Updating Jenkinsfile for a more thorough cleanup

* adding steps to the clean stage

* jk, maybe we don't want to do an initial clean...

* how about now?

* okay, surely now

Jenkinsfile

@@ -62,7 +62,15 @@ pipeline {
     }
     post {
         always {
-            cleanWs()
+            echo "Finished, deleting directory."
+            deleteDir()
+        }
+        cleanup {
+            echo "Clean up in post."
+            cleanWs(cleanWhenNotBuilt: false,
+                    deleteDirs: true,
+                    disableDeferredWipeout: true,
+                    notFailBuild: true)
         }
     }
 }