Fix #612: Move CI to Jenkins.