Add option to set the security mirror URL independently in the debian-minimal element, since this can not be overriden by the standard DIB_DISTRIBUTION_MIRROR variable. Change-Id: I145844a410d06a479e68db1bf6d5d0159389305c