#13 Re-work Inject/J console output

[Thomas Genssler]

A special output stream for Inject/J console output
(i.e., output produced by operation console("..."))
should be introduced. This stream could then be
re-directed separately (e.g., in order to catch console
output and print it in a separate output window without
having to filter normal stdout).

To deal with console output, each frontend would need
to implement a special console handler whose job is to
handle console output in a manner appropriate for the
respective frontend (swing, swt, console).

See also <a
href="http://sourceforge.net/tracker/index.php?func=detail&aid=786474&group_id=47360&atid=449242">Bug
786474</a>. This feature request is probably related to
this bug.