Make check-sieve more robust

[dburkart]

The tool has no --help, for instance. In addition we should support the following options:

• --trace-scanner
• --trace-parser
• Support for piping input in.