Remove ShardedJedis

It's for 3.0.0.

Redis Cluster should replace its place, and we already deprecated ShardedJedis when we apply this PR to master.
(#629 must be go on first)