Make videos smaller, change their format, cut the part you need or turn a clip into a GIF — privately, on your device.