RFC: setup.ini change

[Robert Collins]

I'd like to change this:
install: release/bash/bash-20000901.tar.bz2 276403
source:  release/bash/bash-20000901-src.tar.bz2 1892899

to

install: release/bash/bash-20000901.tar.bz2 276403
158044165a04791968a7e7fc8daaef9e
source:  release/bash/bash-20000901-src.tar.bz2 1892899
158044165a04791968a7e7fc8daaef9f

or

install: release/bash/bash-20000901.tar.bz2 276403
install-md5: 158044165a04791968a7e7fc8daaef9e
source:  release/bash/bash-20000901-src.tar.bz2 1892899
source-md5: 158044165a04791968a7e7fc8daaef9f

I don't care which we choose. My preference is the first one - it will
keep the files smaller. Either will cause setup.exe to barf when first
introduced. Likewise for third party parsers that are ... pedantic.

To help deal with this I suggest the following approach:
with the new version I want to release, we include the new format ini
parser, but do nothing with the data. Then we can introduce features to
use it at our leisure.

Any preference folk?

Rob