random_filename option to randomize screenshot filenames.