Updates to READMEs; also test commit to see if GitHub -> Jenkins trigger works.