Usage:
 zdatrtok -i infile [-o outfile] [-l logfile] [-e errorfile] [-s]
 -i infile	Name of the input DATR-theory
 -o outfile	Name of the output token file,
    if the outfile name is 'stdout' the output will be
    written to stdout instead of a file (to pipe it to datrinf).
 -l errorfile	Name of the output log-file (default 'zdatr.log')
 -e errorfile	Name of the output ERROR-file (default 'zdatr.err')
 -s suppress all non essential output
Dec 18 1996, christoph