[jerry] modify the docker file