remove everything deprecated from v1.3 (and before)#2338

JacquesCarette wants to merge 1 commit into

masteragda/agda-stdlib:masterfrom

DeleteOldDeprecateagda/agda-stdlib:DeleteOldDeprecateCopy head branch name to clipboard