An Introduction to CI, with Comparison of 17 Major CI Tools in 2020 ...