[patch] remove global short-option table

[John A Meinel]

John Arbash Meinel has voted +1 (conditional).
Status is now: Conditionally approved
Comment:
It wouldn't be hard to leave the Option.short_name() a function instead of a member, but I don't know that it is needed.

I was actually thinking that it would probably be nice in the short term to keep a global map, or at least have some way to know when a short option gets re-used for 2 different things. We may want that behavior, but it would be nice to *know* that it has happened, rather than happening accidentally.

Otherwise, +1.

For details, see: http://bundlebuggy.aaronbentley.com/request/%3C20061219062501.GA25425%40sourcefrog.net%3E