use tricho by default, but allow others.
ignore result path
environment variable for github repos
moving reproducibility to its own repo