Trim videos quickly

Video Trimmer cuts out a fragment of a video given the start and end timestamps.
The video is never re-encoded, so the process is very fast and does not reduce the video quality.