Primitive python script that crawls all PDFs from HTML page; useful for saving lecture notes