Improve options parser a bit: The last argument is always the input file, and complain about unknown options rather than ignoring them.