feat: List.dropPrefix? / dropSuffix? / dropInfix? and specification lemmas#1066

fgdorais merged 4 commits intomainleanprover-community/batteries:mainfrom

dropInfixleanprover-community/batteries:dropInfixCopy head branch name to clipboard