Use latest release instead of HEAD for Docker image

Conflicts:
	Dockerfile