TLDK ci-management patch and shell script calling bootstrap-TLDK.sh.