Software Heritage repository mining toolkit