An ODBC connection pool for `gevent`