data dump

[raboof]

It would be nice if we could provide data dumps for people wanting to do reporting beyond what the tool provides.

The current /derivations/ can provide an entry point for that for now, but I bet that'll get too slow once the dataset becomes big.

This could be an API, but also an out-of-band way of giving people access to the data.