Dumpfile provider

All the code for downloading and managing dumpfiles. Some components of this code should be moved to the util module, but this can also happen after the initial merge.