Revision 32897

   In TProofLite:
   - use shorter name for the unix socket path; issue an error if the total length is
     larger then 104 (sort of universal hardcoded limit); add variable ProofLite.SockPathDir
     to control the directory where it is created.
     All this should solve a problem with the crazy temp dirs on Mac.
   - make sure that ~TProofLite is called when issuing ".q"