patch applied (cabal): add --enable-optimization/--disable-optimization config options (on by default)

[Ross Paterson]

Sun Feb 11 16:45:13 PST 2007  Ross Paterson <ross at soi.city.ac.uk>
  * add --enable-optimization/--disable-optimization config options (on by default)

    M ./Distribution/Setup.hs +9
    M ./Distribution/Simple/Configure.hs +1
    M ./Distribution/Simple/GHC.hs +1
    M ./Distribution/Simple/LocalBuildInfo.hs +1
    M ./doc/Cabal.xml +18