Dump database in local system file

Since dumping too many pages was crashing chrome (big blobs makes
problems) we now fetch the data from the database, chunk it and write it
to a local file (using the filesystem API of chrome). Once this is done,
the user can download the file as usual.