Työkaluja, joita käytettiin PIKI-kirjastojen tietokantadumpin käsittelyssä