A tool to download all videos and convert to mp3 inside a video set of bilibili (also works for single video, of course).