enforce copyright notice on all files modified in any commit

Once this is merged I will add the Jenkins integration functionality. This will break any pull request testing which hasn't merged this change yet, so I suggest you do so immediately following this merge.