better debug output from ssltest.py