Redis server build for Docker