Extract audio from video file

Since there are so many tools (Minitube, youtube-dl) which allows you to download video files from YouTube or other video sharing sites, let’s go one step further and extract the sound from the downloaded video file to a mp3 file. The FFmpeg tool will do the trick just fine