Simple command line tool to export the ClueWeb dataset as HTML files.