Use $stdin for the default

Because ARGF is broken when one or more options are specified. The
code doesn't change ARGV destructively. So ARGF handles parsed options
as input file name too.