PolyhedralGeometry: Format most of the files

[lkastner]

I am only aware of #3512 and excluded the two files being worked on there.

[lgoettgens]

Thanks, @lkastner, for taking care of this!

Wouldn't it be nicer for the history if the new action and formatting of the PolyhedralGeometry folder were in different PRs? If you need some formatted files to test the action with, there is already the LieAlgebras stuff you found.

[benlorenz]

Wouldn't it be nicer for the history if the new action and formatting of the PolyhedralGeometry folder were in different PRs? If you need some formatted files to test the action with, there is already the LieAlgebras stuff you found.

If we make sure not to squash this PR then the commits stay separate, also with a proper merge instead of a rebase to make sure the commit for the blame-ignore-rev stays correct.

[codecov]

Codecov Report

Merging #3591 (1be61d8) into master (f7eeee6) will increase coverage by 0.00%.
Report is 2 commits behind head on master.
The diff coverage is 89.80%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3591   +/-   ##
=======================================
  Coverage   81.73%   81.73%           
=======================================
  Files         573      573           
  Lines       77520    77543   +23     
=======================================
+ Hits        63359    63379   +20     
- Misses      14161    14164    +3     

Files	Coverage Δ
.../PolyhedralGeometry/Cone/standard_constructions.jl	100.00% <100.00%> (ø)
src/PolyhedralGeometry/LP_file_format.jl	88.46% <100.00%> (ø)
...ometry/PolyhedralComplex/standard_constructions.jl	100.00% <100.00%> (ø)
src/PolyhedralGeometry/PolyhedralFan/properties.jl	98.33% <100.00%> (+0.05%)	⬆️
...alGeometry/PolyhedralFan/standard_constructions.jl	100.00% <100.00%> (ø)
src/PolyhedralGeometry/PolyhedralGeometry.jl	25.00% <ø> (ø)
...olyhedralGeometry/SubdivisionOfPoints/functions.jl	100.00% <100.00%> (ø)
src/PolyhedralGeometry/linear_program.jl	92.72% <100.00%> (ø)
...PolyhedralGeometry/mixed_integer_linear_program.jl	55.38% <ø> (ø)
src/PolyhedralGeometry/Cone/constructors.jl	91.11% <96.00%> (+0.41%)	⬆️
... and 14 more