Prettier temporary file names

Specifically, instead of names like /tmp/tmpPbg5ttgtimelog this should
now create names like /tmp/gtimelog-tmpPbg5tt.