Update version to 10.0.2

In preparation for the upcoming 10.0.2 release.
docs: Add release notes for 10.0.2 release.

Which will happen today.
Add md5sums for 10.0.2. release.

Which can be added only after the tag, of course.