Log probcli stderr output to Eclipse log, not just Eclipse stderr

This is more accessible to the average user. Running Eclipse with
visible stderr isn't always easy, depending on the OS.