scripts/functions.zsh: added mktmp(), a replacement of debian-utils/mktemp