Merge pull request #4035 from SvenDowideit/dont-env-debian-frontend

point out that ENV DEBIAN_FRONTEND will persist, so its not recommended