[rwth-security] Docker Patched the Most Severe Copy Vulnerability to Date With CVE-2019-14271