Delete DataFiles on S3

The DestroyDataFile endpoint currently only removes DataFiles from the database and not from S3.

Possibly linked to #136 (closed), about deleting the currently existing files.

added 1 deleted label

assigned to @erwanrouchet

mentioned in merge request !789 (merged)

closed via merge request !789 (merged)

mentioned in commit 9fc32c4f