The ssl.match_hostname() function from Python 3.2