Update to Planarity v4.0.0.0#753

james-d-mitchell wants to merge 7 commits intodigraphs:maindigraphs/Digraphs:mainfrom

james-d-mitchell:planarity-4.0.0.0james-d-mitchell/Digraphs:planarity-4.0.0.0Copy head branch name to clipboard