v1.0.0 - Initial release

Initial release of mathlib-network: Python pipeline for extracting and analyzing the dependency graph of Lean 4's Mathlib as a multi-layer network.