Update to Planarity v4.0.0.0

[james-d-mitchell]

Resolves #741

[james-d-mitchell]

This will fail in jobs with --with-external-planarity until:

https://github.com/conda-forge/planarity-feedstock/pull/21

or a successor is merged (i.e. until the latest version of libplanarity is available via conda).

[james-d-mitchell]

Seems like maybe I introduced some bugs in this PR that are also causing the cygwin job to fail. Probably the best approach is to wait until my changes to libplanarity (as per https://github.com/graph-algorithms/edge-addition-planarity-suite/issues/147) are released

[james-d-mitchell]

Superseded by #766