Jenkinsfile: always clean build directories

Jenkinsfile

@@ -46,7 +46,7 @@ PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt
                 utils.mail_notify(currentBuild, env, 'ci+jenkins-petale@entrouvert.org')
             }
         }
-        success {
+        cleanup {
             sh "rm -rf ${env.TMPDIR}"
             cleanWs()
         }