delete_file function

Delete a file from the user workspace