[jerry] modify the dockerfile for redis