A Droonga database dump tool