pinset A library to operate a stable, exact set of input and output files from different sources with local cache enabled