redditarchiver, a tool for archiving reddit JSON data and linked files