or download this
# require that there be three file name args on the command line:
# -- input file1
...
# write the ID-string to the output file
# if necessary, add line-feeds into the sequence string at 80-char
+intervals
# write the sequence string to the output file