patch applied (hugs98): comments only: change GreenCard to FFI

[Ross Paterson]

Fri Apr  6 03:49:59 PDT 2007  Ross Paterson <ross at soi.city.ac.uk>
  * comments only: change GreenCard to FFI

    M ./src/bcc32/options.h -1 +1
    M ./src/builtin.c -2 +2
    M ./src/djgpp2/options.h -1 +1
    M ./src/dotnet/options.h -1 +1
    M ./src/epoc/options.h -1 +1
    M ./src/machugs/options.h -1 +1
    M ./src/msc/options.h -1 +1
    M ./src/options.h.in -1 +1
    M ./src/winhugs/options.h -1 +1