修改shipping的翻译为分发
use-docker-jenkins-to-run-github-tests.md && using-docker-as-a-python-development-environment.md