Merge pull request #4134 from gilles-peskine-arm/ssl-opt-server-failure-2.16

Backport 2.16: ssl-opt.sh: if the server fails, do treat it as a test failure