[C2hs] patch applied (c2hs): Rename terminal ' extension' to ' __extension__'

[Duncan Coutts]

Sun Apr 15 03:14:27 PDT 2007  Duncan Coutts <duncan.coutts at worc.ox.ac.uk>
  * Rename terminal 'extension' to '__extension__'
  That's what's it's really called anyway.

    M ./c2hs/c/CParser.y -8 +8