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