Make Ersilia exit when trying to delete a model fetched using docker if Docker is not active

Make Ersilia exit when trying to delete a model fetched using docker if Docker is not active #678