ssl_version_num won't be used anymore since we will soon offer multiple SSL

layers and it won't make sense to provide a numerical version for it. I also
doubt that many people have used this for anything critical.