Add v0.10.2 documentation

Author: liyishuai

README.md

@@ -53,6 +53,7 @@ the `ExtLib` namespace.
 
 ## Documentation
 - [Development version](https://coq-community.github.io/coq-ext-lib/master/toc.html)
+- Latest release: [v0.10.2](https://coq-community.github.io/coq-ext-lib/v0.10.2/toc.html)
 
 Ideas
 -----

meta.yml

@@ -32,6 +32,7 @@ namespace: ExtLib
 documentation: |
   ## Documentation
   - [Development version](https://coq-community.github.io/coq-ext-lib/master/toc.html)
+  - Latest release: [v0.10.2](https://coq-community.github.io/coq-ext-lib/v0.10.2/toc.html)
 
   Ideas
   -----