Add CHANGES for 0.10.
Regenerate AUTHORs file for last time.

From now on, people will have to add themselves; generating from git
is too much work filtering out the dups.
Update version number.
Merge branch 'release/0.10'