redis主干更新至1.3.8

after git pull you need make,this is important,then use ./redis-server

and in python client,type r.info()，you'll find you redis-server version is 1.3.8

congratiouns!hahahahahha