set cron timezone to Shanghai

Former-commit-id: fa8eb8544e7616a3e2621424c4d5013c0a0253be

ci/jenkins/Jenkinsfile

+String cron_timezone = "TZ=Asia/Shanghai"
 String cron_string = BRANCH_NAME == "master" ? "H 0 * * *" : ""
 cron_string =  BRANCH_NAME == "0.5.1" ? "H 1 * * *" : cron_string
 
 pipeline {
     agent none
 
-    triggers { cron(cron_string) }
+    triggers {
+        cron("${cron_timezone}
+            ${cron_string}")
+    }
 
     options {
         timestamps()