The Software Heritage Graph Dataset: Public software development under one roof