A new attempt at rationalizing the "history of the software" section,

with a table clarifying which releases are GPL-compatible.

Also unified the headings for the various licenses.