Preview: new option to mirror objects

14-05-18gnikol

We will introduce a new option to mirror objects: you can now determine one face of the bounding box, which will be used for mirroring. The mirrored object(s) will then be moved to that face.