socketio.server.serve_paste() error with ssl_version

[dmartin-gh]

The following paste.deploy server configuration does not work

[server:main]
use = egg:gevent-socketio#paster
host = 0.0.0.0
port = 6543
keyfile = ...
certfile = ...

; ssl.PROTOCOL_TLSv1
ssl_version = 3

This raises the following traceback:

Traceback (most recent call last):
  File "/usr/lib64/python2.7/site-packages/gevent/greenlet.py", line 327, in run
    result = self._run(*self.args, **self.kwargs)
  File "/usr/lib64/python2.7/site-packages/gevent/server.py", line 102, in wrap_socket_and_handle
    ssl_socket = self.wrap_socket(client_socket, **self.ssl_args)
  File "/usr/lib64/python2.7/site-packages/gevent/ssl.py", line 383, in wrap_socket
    ciphers=ciphers)
  File "/usr/lib64/python2.7/site-packages/gevent/ssl.py", line 87, in __init__
    cert_reqs, ssl_version, ca_certs)
TypeError: an integer is required
<Greenlet at 0x5db9690: <bound method SocketIOServer.wrap_socket_and_handle of <SocketIOServer at 0x2dbc090 fileno=11 address=0.0.0.0:6543> failed with TypeError

There are a number of other server options available that expect non-string types. It would be nice if these were converted for you before being sent along to gevent.