Revision 38570

  Add support for log file truncation (see Savannah #74730).
  Truncation is disabled by default. Enabling is controlled by the rootrc variable

           ProofServ.LogFileMaxSize   {<bytes>|<kilobytes>K|<megabytes>M|<gigabytes>G}

  indicating the max number of bytes. The number can be followed by a {K,M,G} to indicate
  KBytes, MBytes or GBytes, respectively. So, for example, the following setting in the
  xproofd configuration file sets a limit to 100MBytes:

     xpd.putrc ProofServ.LogFileMaxSize 100M