redis.go: configure redis pool size