Re-enable Jenkins and run more tests on Jenkins than pull-tester gets