Add --stdin option to read input from STDIN rather than from a file

As discussed in #7