The magic ffmpeg command to speed up the video and merge an MP3 into it:

ffmpeg -i a.mov -i b.mp3 -acodec copy -ab 128k -ar 44100 -map 0:0 -map 1:0 -vf "setpts=(1/6)*PTS" c.mp4

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…