Allow checking containment of points in hyperplanes and halfspaces via in

[lkastner]

julia> c = cube(2,0,1)
Polytope in ambient dimension 2

julia> Fchyp = facets(Hyperplane, c)
4-element SubObjectIterator{AffineHyperplane{QQFieldElem}} over the hyperplanes of R^2 described by:
-x_1 = 0
x_1 = 1
-x_2 = 0
x_2 = 1


julia> Fchalf = facets(c)
4-element SubObjectIterator{AffineHalfspace{QQFieldElem}} over the halfspaces of R^2 described by:
-x_1 <= 0
x_1 <= 1
-x_2 <= 0
x_2 <= 1


julia> for f in Fchyp
       println([0,0] in f)
       end
true
false
true
false

julia> for f in Fchalf
       println([0,0] in f)
       end
true
true
true
true

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.30%. Comparing base (d1d6926) to head (f358d35).
Report is 173 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4392      +/-   ##
==========================================
- Coverage   84.39%   84.30%   -0.09%     
==========================================
  Files         659      663       +4     
  Lines       87183    87792     +609     
==========================================
+ Hits        73575    74013     +438     
- Misses      13608    13779     +171     

Files with missing lines	Coverage Δ
src/PolyhedralGeometry/Cone/properties.jl	90.47% <100.00%> (+0.23%)	⬆️
src/PolyhedralGeometry/Polyhedron/properties.jl	86.64% <100.00%> (+0.14%)	⬆️
src/PolyhedralGeometry/iterators.jl	92.26% <100.00%> (+0.13%)	⬆️

... and 5 files with indirect coverage changes