Update version number, version history in docs.
Merge branch 'release-1.0.2' into develop