Video export features and canvas size settings

This update introduces new features for exporting videos and improves canvas size settings.

Changes

• New feature to export as Video (WebM).
• New feature to export as Animated Gif.
• New feature to export as Image Sequence.
• New trash can feature to avoid immediate permanent deletion.
• Canvas size settings are now part of the global settings and saved with the file.
• Lights and empty objects improvements.
• New setting to toggle light/empty objects visibility.
• Fix selection of objects close to the camera.
• Stroke component is now disabled (was not reliable for all shapes).