Enhance documentation and add further functions inherited from polymake #5384

micjoswig merged 5 commits intomasteroscar-system/Oscar.jl:masterfrom

mj/polyhedraloscar-system/Oscar.jl:mj/polyhedralCopy head branch name to clipboard