Slightly more sensible WARC filenames.  #17.