simple Python file shredder