age-circs.sql: a script to age circs/anonymize patron circ history