Added prune script for deleting files

With prune_file_types.py you can specify the file extensions you want to
delete and how old the files must be before they are deleted.