Fix #612: Move CI to Jenkins.
Merge pull request #619 from gzm0/fix-ci

Fix #612: Move CI to Jenkins.