extract_random.py: add -m option to extract records by regular expression matching.
extract_random.py: add -m option to extract records by regular expression matching.

fw1121/genomics,fw1121/genomics,fw1121/genomics,fw1121/genomics,fw1121/genomics