math/planarity: upgrade to 3.0.2.0
Changelog at https://github.com/graph-algorithms/edge-addition-planarity-suite/releases/tag/Version_3.0.2.0