CLI: Only read stdin if there were no files supplied and not in tty mode.

Fixes #563
What if an argument other than filename was specified?