A command-line tool that downloads your Tekpub videos and gives them sensible names