3D milling demo:
- fix bug where changing tool radius would destroy the shape,
- remove symmetry stuff in heightmap shader,
- heightmap is always square,
- render everything in mm,
- remove pixels computation