Remove docs publish script, now obsolete.
Update CHANGES for 0.10 release.
Set version number to 0.10.