[tinker] update version to 1.9.13.

[tinker] change version to 1.9.12

[tinker] change tinker version to 1.9.11.

[tinker] update version to 1.9.9

[tinker] update version to 1.9.8

fix of 1.9.5

[tinker] update version code to 1.9.5

[tinker] update version code to 1.9.4.1 (for internal use.)

[tinker] update version code to 1.9.4 (for internal use.)

Merge pull request Tencent#708 from Tencent/dev

sync dev to master.