redirect output

- Redirect test's STDOUT so we can filter LSF job submitted messages.
- Redirect test's STDERR, and only show on on error, so we can keep
  prove's output clean.
add test name to STDERR output
shorten options to just o
executor refactor and new default

- Rename Executor to RedirectExecutor and propogate.
- Set InteractiveExecutor as the new default.
- Better handling of the alternate executors in the prove command.
add extra newline