スマホ動画編集アプリで、挿入した動画の長さを変更すると同時に、速さも変更できる、というようなアプリはありませんか?