Docker definition allows to replace UID and GID of (docker-internal)...

Docker definition allows to replace UID and GID of (docker-internal) DEFAULT_USER to the UID and GID of host user performing an image build. That will simplify permission management on shared volumes, where on host actual user is seen, inside docker its internal one.