Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-03-15 16:45:12 -0800 (Wed, 15 Mar 2006)
Revision: 8894
Log message:

      "Fixed" treatment of quoted strings.
      
      Now that we treat quotations properly, there is a question about
      how we should handle normal quotations.  For example, if you
      write the following, there is only one file, but it has quotes
      in the filename.
      
         X = $(file "hello world")
      
      We could instead give "<string>" exactly the same meaning as $"<string>".
      
      I don't see any surprises if we do so, we should think about doing it.
      
      This commit does not do so.  Instead we create an explicit value for
      such strings and strip the quotes in the command-line tokenizer.