Minkowski Round faster

[ganzgustav22]

Hi, not sure if you've noticed, but newer development snapshots of openscad have a new renderer called "manifold". This one renders orders of magnitude faster, even Minkowski is not slow anymore.

So, please don't remove the minkowski round function, it has been sped up greatly :)