Sometimes it is necessary to create names for files from within Magma that will not clash with the names of existing files.
Given a prefix string P, return a unique temporary name derived from P (by use of the C library function mktemp()).