The pki_copytree() has been moved from pkihelper.py into pki/util.py such that it can be reused in non-deployment scenarios. Pushed to master under trivial rule. -- Endi S. Dewata