Move puppet-coi module to correct section

puppet-coi is hosted by CiscoSystems, and this patch moves
it to the Puppetfile section with all the other Cisco
modules that do not have upstreams.