Use Redis pipelining for more efficiency on high-load setups. Also updated Jedis dependency.