Added docker-privileged-build()

New shell function allowing to build docker containers using
privileged operations (i.e. mount, chroot, ...).
The respective command lines must be prefixed using 'RUNP'
instead of 'RUN' in the Dockerfile.