add copyright header to shrinkwrap.js; fixes #12643