Repo name upstream is puppet-coi

Update Puppetfile to reflect normalized repo name.

Change-Id: I20525769a3f079d5a2c325aabd696582578fa709