Using Jenkins to build projects hosted on GitHub