jenkins_integration: making clean get rid of directories, too