Facilitate offline dev, don't fail if docker pull fails