Simple scripts to test Jenkins CI and GitHub interoperability