Add koha-dump, a script to dump a Koha site.