jenkins.sh: echo HEADs' hashes, echo each project name prominently

Change-Id: I967b11b289630ba6ae1b102c1d6692625f83b875
1 file changed