Elevation Tool

A tool has been added under Edit > Elevate (3D only) for changing the elevation of a selection. The elevation can be changed via a property or graphically in the 3D view.

Merge request

# elevateAnimation.cm

New: public void elevateAnimation() {..}

New: public class ElevateAnimation extends AlignAnimationG2 {..}
New: public class ElevateAnimationStart extends ElevateAnimation {..}
New: public class ElevateAnimationEnd extends ElevateAnimation {..}
New: public class ElevateAnimationVessel extends CoreAlignHelperVessel {..}
New: package class ElevateAnimationSnapperFilter extends SnapperFilter {..}