Tools of Provenance Research