Add missing halfplaneintersect.py