- I run these queries on graphdb which contains a subset
  of the exported Coq and Isabelle dataset.

- I can't run it on the whole datasaet yet because my
  computer would explode.

We'll have to get an iri lib or better yet fix the export in the long
run.

passed an rdf file w/ bad iris on stdin, it returns
a fixed version

- converts .xz files to .gz recursively

- graphdb wants .gz files; so there we go

While I do not intend to use this again it's nice to have all in one
place (i.e. this repo).

If this destroys your file system I am sorry, but I'd like
to experiment w/ keeping everything in one place.