Add copyright and license declaration (GPLv3+).

Only applies to deploy_idp.sh, for now. (Other files may already be covered by other licenses.)