[erlang-patches] ssl: Clean up of specs and types

[Kostis Sagonas]

Many specs and one type declaration of the 'ssl' application have been 
strengthened and the code has been fixed so that functions do not return 
values when they do not have to. Also, those functions that have to 
return some values these values are not unmatched.

Please include:

git fetch git://github.com/kostis/otp.git ssl-fix-most-unmatched_returns

Kostis

PS. The clean up is incomplete. Somebody at OTP (Ingela? cc:) needs to 
run dialyzer with the option -Wunmatched_returns on the ssl code and 
take care of the remaining warnings. (Most are due to ignoring returns 
from file-handling functions.)