redtube-dl is a bash script for downloading redtube mp4s