Let's use the well-known hack of adding the "Release" file
of the respective debian distribution/version to ensure docker
will invalidate the cache if the repository has changed since
the last build.
Change-Id: If6f75db11ef424e46c4915b761f9eca69258a9c5