Copyright for easycrypt source package in Focal