Support updates for core jenkins modules; fix https://github.com/jenkinsci/puppet-jenkins/issues/118

This fixes https://github.com/jenkinsci/puppet-jenkins/issues/118 and will (should) not break existing configurations. If the extension of the updated module is '.jpi', then put a .pinned file in the plugins folder before installing the updated module.