A mysql connection pool for python