setup.py: get version from OpenSSL/version.py