default log file

[Igor Schein <igor@txc.com>]

Hi, 

I have a suggestion to make a default log file to be pseudo-unique for
the session, for example pari<pid>.log.  This way you make a situation
where you're writing by mistake to the same pari.log file from 2
different machines much less likely to happen.

Igor