AlgebraicJulia/Catlab.jl: v0.12.2

Catlab v0.12.2 Diff since v0.12.1 Closed issues: Isomorphism testing of wiring diagrams (#57) BUG: Illegal inttoptr error, crashing julia (#414) Context mismatch in axioms of HypergraphCategory (#422) Merged pull requests: Convenience functions for homomorphism and isomorphism testing (#413) (@epatters) Finer control over termination of morphism backtracking search (#415) (@epatters) Default syntax systems and pretty-printing for (co)presheaves (#416) (@epatters) Theory of additive categories (#417) (@epatters) Theory of symmetric monoidal copresheaves (#418) (@epatters) Extra axioms for theory of SMCs (#419) (@0x0f0f0f) Refactor benchmarks to separate Catlab/LightGraphs (#420) (@olynch) Benchmark counting triangles in a graph (#421) (@epatters) Typo in dagger axiom of hypergraph category (#423) (@epatters