mathlib

2a568fb9 - clean up paths, define homs and subgraphs of directed multigraphs, construct free groupoid