dump-se-files.py: fix exit call.
Merge branch 'misc-fixes' of https://github.com/gnubila-france/biomed-support-tools
Fix several bugs in the cleanup of SE
Add log traces + datetime in cleanup scripts