- replace coveralls badge with hosted coverage endpoint badge used by GitHub Pages
- update Rust dependency snippet in both English and Chinese READMEs to 0.13.3
- keep all other documentation content and links unchanged