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.