Implement _mm512_permutexvar_epi64 shim

[elichai]

This extends the current permute function to also handle i64 lanes, and use it for permvar.di.512 / _mm512_permutexvar_epi64

[rustbot]

Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.