moving Data.List.Perm to std

Stream: mathlib4

[James Gallicchio]

I've started moving Perm to std. I'm about 1/3 through without huge issues. I assume the mathlib file should mark lemmas refl/symm/trans that were moved to std but previously had them, right?