Improve test framework: command-line options

Now supports -jN for --jobs=N, -fPRE for --filter=PRE, etc.
Reformatted usage message
Improve test framework: test coverage support