ci: use only built-in pipeline steps

The Jenkins the job runs on has no AnsiColor plugin, so the pipeline
failed to compile. Drop ansiColor and use the built-in deleteDir()
instead of the Workspace Cleanup plugin's cleanWs().

Jenkinsfile

@@ -27,7 +27,6 @@ pipeline {
 
   options {
     timestamps()
-    ansiColor('xterm')
     disableConcurrentBuilds()
     // Full clients and xapks are several GB each: keep artifacts for the
     // last few runs only.
@@ -189,7 +188,7 @@ pipeline {
       // Runs after archiving. Keeps the restic cache and restored stock
       // builds ($DORKNET_CACHE in jenkins_home, outside the workspace); drops
       // the workspace's build output and scratch.
-      cleanWs(deleteDirs: true, notFailBuild: true)
+      deleteDir()
     }
   }
 }

ci/jenkins/README.md

@@ -91,8 +91,6 @@ The job needs these plugins:
 - GitHub (for the push trigger)
 - Credentials Binding
 - Timestamper
-- AnsiColor
-- Workspace Cleanup
 
 Most are part of the suggested set.