Enhance WITH-TEMPORARY-FILE. Robustify TRUENAMIZE for GCL.
More GCL fixes: don't try overly big random numbers in WITH-TEMPORARY-FILE.
Get backtraces on GCL.
Bump version to 3.1.0.16